First crack at fixing double-linking issues in build system.
Resource-spending in quantifiers, but may be unsafe for restarting.
Better approach to forcing string logics to contain UFLIA also.
Fix query/checksat dumping.