@Override
  public void setUseAnySingleVariable(boolean useAnySingleVariable) {
    this.useAnySingleVariable = useAnySingleVariable;
  }
@Override
  public void setUseAnySingleVariable(boolean useAnySingleVariable)