Instruction (@NotNull DfaValueFactory factory) { if (myVarsToFlush.isEmpty()) return this; var instruction = new FinishElementInstruction(myElement); for (DfaVariableValue var : myVarsToFlush) { instruction.myVarsToFlush.add(var.bindToFactory(factory)); } return instruction; }