Error: Only SMTLib2 solver can be enabled to print queries
