DfaInstructionState[] (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState stateBefore) { List<DfaValue> removed = IntStreamEx.range(myCount).mapToObj(idx -> stateBefore.pop()).toList(); IntStreamEx.of(myReplacement).elements(removed).forEach(stateBefore::push); Instruction nextInstruction = interpreter.getInstruction(getIndex() + 1); return new DfaInstructionState[]{new DfaInstructionState(nextInstruction, stateBefore)}; }