public ValueNumber createFreshValue(){
  ValueNumber result=ValueNumber.createValueNumber(getNumValuesAllocated());
  allocatedValueList.add(result);
  return result;
}

public ValueNumber createFreshValue ( ) { ValueNumber result = ValueNumber . createValueNumber ( getNumValuesAllocated ( ) ) ; allocatedValueList . add ( result ) ; return result ; }
create a fresh ( unique ) value number .
