public static boolean skolemDefinedByOperatorP(Stella_Object self, Surrogate operator) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(self), Logic.SGT_LOGIC_SKOLEM)) {
      { Skolem self000 = ((Skolem)(self));

        { Proposition definingproposition = self000.definingProposition;

          return ((definingproposition != null) &&
              (definingproposition.operator == operator));
        }
      }
    }
    else {
      return (false);
    }
  }