public ReferenceValue generalize(ReferenceValue other) {
   return other.generalize(this);
 }