The Static Single Assignment Form:Construction and Application to Program