global.debugPrinter.print(tree);
System.err.println(tree);
    public void verify(Tree tree, boolean b, String name, String message) {        if (! b) {            System.err.println("ERROR: Condition '" + name + "' violated (after "                               + global.currentPhase + ")!");            System.err.println(message);            global.debugPrinter.print(tree);            System.err.println();        }    }