public static boolean equalUpToSkolemIdentityP(Stella_Object inheritedarg, Stella_Object basearg, KeyValueMap mapping) {
    { Stella_Object inheritedvalue = ((mapping != null) ? Logic.mappedValueOf(inheritedarg, mapping, false) : inheritedarg);
      Stella_Object basevalue = Logic.valueOf(basearg);

      if (Stella_Object.eqlP(inheritedvalue, basevalue)) {
        return (true);
      }
      return (false);
    }
  }