default void printTree() { printTree(System.err); }
default void printTree() { printTree(System.err); }
_abox.printTree();
_abox.printTree();
_abox.validate(); _abox.printTree(); _interpreter._alphaNet.print();
_abox.validate(); _abox.printTree(); _interpreter._alphaNet.print();
_abox.validate(); printBlocked(); _abox.printTree();
_abox.printTree();
_abox.validate(); printBlocked(); _abox.printTree();
_abox.printTree();