fixed bug in boolean switching inequality printing