Compile while and if to SSA (coorectly?)