simplify and fix SimplifyAllocas