Fixed printing problem with incorrect formed boolean terms.