Rewriting array executions
Source of boxed zeros eliminated