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