fixed bug in SSA/CPS construction