static void ai_printParseTreeWithLevels(PTElement e) {
  ai_printParseTreeWithLevels(e, "");
}

static void ai_printParseTreeWithLevels(PTElement e, S indent) {
  if (e == null) ret with print("No parse tree");
  print(indent + "[" + (l(indent)/2+1) + "] " + e);
  indent += "  ";
  for (PTElement child : unnull(e.children))
    ai_printParseTreeWithLevels(child, indent);
}