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

        { Stella_Object value1 = Logic.valueOf(term1000);

          if (Stella_Object.eqlP(value1, term2)) {
            return (true);
          }
          if ((!Logic.skolemP(value1)) &&
              ((term1000.definingProposition != null) &&
               ((Boolean)(Logic.$CLIPPINGENABLEDp$.get())).booleanValue())) {
            Skolem.unbindSkolemValue(term1000, true);
            Skolem.bindSkolemToValue(term1000, Logic.valueOf(term2), true);
            return (true);
          }
        }
      }
    }
    else {
    }
    return (false);
  }