void (Instruction instruction, int offset, int nextOffset) { if (nextOffset > flow.getSize()) nextOffset = flow.getSize(); if (exitPoints[offset] == null) { exitPoints[offset] = new IntOpenHashSet(); } if (isLeaf(nextOffset)) { exitPoints[offset].add(offset); } else if (exitPoints[nextOffset] != null) { exitPoints[offset].addAll(exitPoints[nextOffset]); } }