translation to ssa without type inference