@Override
  public DfaInstructionState[] accept(@NotNull DataFlowInterpreter interpreter,
                                      @NotNull DfaMemoryState stateBefore) {
    interpreter.getListener().beforePush(DfaValue.EMPTY_ARRAY, interpreter.getFactory().getUnknown(),
                                         new JavaEndOfInstanceInitializerAnchor(), stateBefore);
    return nextStates(interpreter, stateBefore);
  }
@Override
  public DfaInstructionState[] accept(@NotNull DataFlowInterpreter interpreter,
                                      @NotNull DfaMemoryState stateBefore)