public static Cons kifPredicationToStellaPredication(Cons tree) {
    { Symbol operator = Logic.kifOperatorToInternalStella(((Symbol)(tree.value)));
      Cons arguments = tree.rest;

      tree.firstSetter(operator);
      Logic.changeKifExpressionsToStellaExpressions(arguments, true);
      return (tree);
    }
  }