adding some heavy branching tests for conditional branches
When printing locals in debug info, use their names at the instruction; not the currently in scope names