intermediate: while have no SSA