DfaInstructionState[] (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState stateBefore) { DfaValue index = stateBefore.pop(); DfaValue container = stateBefore.pop(); DfaInstructionState[] states = myProblem.processOutOfBounds(interpreter, stateBefore, index, container, myOutOfBoundsTransfer); if (states != null) return states; return nextStates(interpreter, stateBefore); }