@Override
      public void beforeInstanceInitializerEnd(@NotNull DfaMemoryState state) {
        endOfInitializerStates.add(state.createCopy());
      }
@Override
      public void beforeInstanceInitializerEnd(@NotNull DfaMemoryState state)