public static Cons canonicalizeAnnotation(Cons tree) {
    { Stella_Object operator = tree.value;

      if (operator == Logic.KWD_ABOUT) {
        tree.firstSetter(Logic.SYM_LOGIC_ABOUT);
        return (tree);
      }
      { Cons entry = null;
        Cons iter000 = Logic.$ANNOTATION_TRANSLATION_TABLE$;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          entry = ((Cons)(iter000.value));
          if (Stella_Object.eqlP(operator, entry.value)) {
            tree.firstSetter(entry.rest.value);
            return (Cons.list$(Cons.cons(Logic.SYM_LOGIC_ABOUT, Cons.cons(tree, Cons.cons(((Cons)(Stella_Object.copyConsTree(((Cons)(entry.rest.rest.value))))).concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))));
          }
        }
      }
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("``" + operator + "'' not found in *ANNOTATION-TRANSLATION-TABLE*");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }