public static Surrogate cachedGoalOperator(Proposition goal) {
    { Keyword testValue000 = goal.kind;

      if ((testValue000 == Logic.KWD_ISA) ||
          ((testValue000 == Logic.KWD_PREDICATE) ||
           (testValue000 == Logic.KWD_FUNCTION))) {
        { GeneralizedSymbol operator = goal.operator;

          if ((operator != null) &&
              (Stella_Object.isaP(operator, Logic.SGT_STELLA_SURROGATE) &&
               (!(operator.symbolId == -1)))) {
            return (((Surrogate)(operator)));
          }
        }
      }
      else {
      }
    }
    return (null);
  }