Some statistics for narrowing down incrementality issues (push/pop vs solve timing)
Properly |quote| symbols in SMT-LIBv2 output.
Interactive mode support for multiline input