static Lisp nlParseToTheory(S text) {
  Lisp tree = nlParse(text);
  if (!nlIsMultipleStatements(text))
    tree = lisp("[]", tree);
  ret tree;
}