public static boolean searchControlPropositionP(Proposition self) {
    { GeneralizedSymbol testValue000 = self.operator;

      if ((testValue000 == Logic.SGT_PL_KERNEL_KB_CUT) ||
          ((testValue000 == Logic.SGT_PL_KERNEL_KB_BOUND_VARIABLES) ||
           ((testValue000 == Logic.SGT_PL_KERNEL_KB_FORK) ||
            (testValue000 == Logic.SGT_PL_KERNEL_KB_QUERY)))) {
        return (true);
      }
      else {
        return (false);
      }
    }
  }