@Override
  public @NotNull Instruction bindToFactory(@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;
  }
@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory)