Better approach to forcing string logics to contain UFLIA also.
Fix query/checksat dumping.