(eng) Static Single Assignment form is an intermediate representation, that uses phi-functions to merge values at each confluent points of the control flow graph. phi-functions are not machine instructions and should be ...