broken support for CVC4 1.6 (issue with datatypes and tuples)
The preliminary support for CVC4 1.6 fails because of CVC4 1.6 complains as follows:
"Too many datatypes defined in this block.
(declare-datatypes () ((tuple0 (Tuple0))))
^
"