Li-Fan Chen says to YSITD
Static Single Assignment form