public ReferenceVariable buildNewReferenceVariable(Object conc_object,String var_name){
  final Type referenceType;
  if (conc_object == null) {
    referenceType=Type.getType(Object.class);
  }
 else {
    referenceType=Type.getType(conc_object.getClass());
  }
  final int newInstanceId=newInstanceCount++;
  final ReferenceVariable r=new ReferenceVariable(referenceType,newInstanceId,var_name,conc_object);
  return r;
}

public ReferenceVariable buildNewReferenceVariable ( Object conc_object , String var_name ) { final Type referenceType ; if ( conc_object == null ) { referenceType = Type . getType ( Object . class ) ; } else { referenceType = Type . getType ( conc_object . getClass ( ) ) ; } final int newInstanceId = newInstanceCount ++ ; final ReferenceVariable r = new ReferenceVariable ( referenceType , newInstanceId , var_name , conc_object ) ; return r ; }
builds a new reference variable using a var_name and a concrete obhect the concrete object can be null .
