corner case: the last instr in a basic block could be nop for padding
bug fix: for switch instrs, forgot to continue iterating remaining method body