@Override public void modifyVariableId(String oldId,String newId){
  if (variable.equals(oldId)) {
    variable=newId;
  }
  if (discreteCache != null) {
    discreteCache.modifyVariableId(oldId,newId);
  }
}

@ Override public void modifyVariableId ( String oldId , String newId ) { if ( variable . equals ( oldId ) ) { variable = newId ; } if ( discreteCache != null ) { discreteCache . modifyVariableId ( oldId , newId ) ; } }
modifies the variable label
