Block control transfer with statement merges
Control transfer debugging
Unused variable/expr fixes
Change out_val leak checking code
Consume the condition variable in ctrl_branch()