added an option -cex for textual counterexamples
do not introduce new relation symbols when -hints are used