Triage: potential bug

[esc]

The code here should probably read _jump_targets. The `jump_targets are the "discounted" targets, i.e. w/o the backedges. Thus, if a block has only a single backedge, under this code it would also be considered an "exiting" block. However, exiting blocks are blocks that contain a return statement or equivalent and basically denote the termination block of a program.