4.1.3 SSA伪代码