printer.beginSection(1, "Trees after phase " + this);
    public void print(Global global) {        TreePrinter printer = global.printer;        printer.beginSection(1, "Trees after phase " + this);        for (int i = 0; i < global.units.length; i++)            printer.print(global.units[i]);    }