@Override
  public void createClosureState(PsiElement anchor, DfaMemoryState state) {
    myNestedClosures.putValue(anchor, state.createClosureState());
  }
@Override
  public void createClosureState(PsiElement anchor, DfaMemoryState state)