void (CallInstruction instruction, int offset, int nextOffset) { if (nextOffset > flow.getSize()) nextOffset = flow.getSize(); if (offset > endOffset) return; if (nextOffset > endOffset && nextOffset != offset + 1) { return; } boolean isNormal = isNormalCompletion[nextOffset]; isNormalCompletion[offset] |= isNormal; }