* Improve the printing of the boolean expression tree.
* Refine some names.