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