void (Instruction instruction) { super.afterInstruction(instruction); if (myPlaceVisited && flow.getLoopNumbers()[instruction.getIndex()] == 0) { // We cancel the analysis first time we exit all the loops // after the target expression is visited (in this case, // we can be sure we'll not reach it again) cancel(); } }