void (Instruction instruction, int offset, int nextOffset) { if (offset >= end - 1) { int exitOffset = end; exitOffset = promoteThroughGotoChain(flow, exitOffset); if (!exitPoints.contains(exitOffset)) { exitPoints.add(exitOffset); } } }