public static Stella_Object lookupVerbatimTree(Cons tree, Keyword language) {
    if (language == null) {
      language = ((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get()));
    }
    return (Cons.searchPlist(tree.rest, language));
  }