public static boolean unequateValuesP(Stella_Object term1, Stella_Object term2) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(term1), Logic.SGT_LOGIC_SKOLEM)) {
      { Skolem term1000 = ((Skolem)(term1));

        if (Stella_Object.eqlP(((Stella_Object)(Stella_Object.accessInContext(term1000.variableValue, term1000.homeContext, false))), term2)) {
          Skolem.unbindSkolemValue(term1000, false);
          return (true);
        }
      }
    }
    else {
    }
    return (false);
  }