@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory) {
    return List.copyOf(myVarsToFlush);
  }
@Override
  public List<DfaVariableValue> getWrittenVariables(DfaValueFactory factory)