Simplify SSA tansforms for imperative code