Only SMTLib2 solver can be enabled to print queries