The Static Single Assignment Form: Construction and Application to Program