Value propagation: remove Patch::ret0
Value propagation: remove Patch::break0
Value propagation: remove Patch::locals0
Value propagation: remove Patch::writes_locals0 and Patch::origin