Fix for equality-chaining of Booleans in SMT-LIBv2.

Thanks to David Cok for reporting this.
As per SMT-LIB standard: make - and xor take n>2 args and be left-assoc; => takes n>2 args and is right-assoc.

Thanks to David Cok for pointing out this issue.