This should be an "if", not an "else if" (a bytecode instruction may have code emitted in both a and aStubs).

Also, this should be checking tr.bcMapping[i]'s astubsStart, not aStart.