static void printExplainTree(Explain e) {
  printExplainTree2(e);
}

static void printExplainTree(int indent, Explain e) {
  printExplainTree2(indent, e);
}