Cleaning up binder: Rationalize stack pushes, pops, updates and peeks
Cleaning up binder: Rationalize by-reference operands