public void initializeReference(Object conc_ref,ReferenceExpression symb_ref){
  if (conc_ref != null) {
    if (!symb_ref.isInitialized()) {
      symb_ref.initializeReference(conc_ref);
      int identityHashCode=System.identityHashCode(conc_ref);
      nonNullRefs.put(identityHashCode,symb_ref);
    }
  }
}

public void initializeReference ( Object conc_ref , ReferenceExpression symb_ref ) { if ( conc_ref != null ) { if ( ! symb_ref . isInitialized ( ) ) { symb_ref . initializeReference ( conc_ref ) ; int identityHashCode = System . identityHashCode ( conc_ref ) ; nonNullRefs . put ( identityHashCode , symb_ref ) ; } } }
initializes a reference using a concrete object
