DfaInstructionState[] (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState stateBefore) { for (PsiElement element : getClosureElements()) { interpreter.createClosureState(element, stateBefore); } return nextStates(interpreter, stateBefore); }