Cleanup
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
Basic --check-unsat-core functionality.
Better approach to forcing string logics to contain UFLIA also.
Fix query/checksat dumping.