Cleanup
Constrain the code generation of `RunMutableArray`

Use copy propagation iff the body creates and returns an array.