Remove trivial allocs

This PR gets rid of the dead allocations that can sometimes be created during the specialize_branched_loops pass. 
The rest of the codebase typically does this condition the other way around: if (body.same_as(op->body)) { stmt = op } else {...}

Not very important, but I think it's good for consistency if you change this to match.