Update to driver for cvc4 for getting model.

drivers/cvc4_bare.drv

@@ -16,6 +16,14 @@ prelude "(set-option :produce-models true)"
 (* Counterexamples: makes it possible to get rid of more quantifiers while introducing premises *) 
 (* transformation "split_intro" *)
 
+(* Counterexamples: get rid of some quantifiers - makes it possible to query model values of the variables in premises *)
+transformation "introduce_premises"
+
+import "smt-libv2.drv"
+
+(* Counterexamples: makes it possible to get rid of more quantifiers while introducing premises *) 
+(* transformation "split_intro" *)
+
 (* Counterexamples: get rid of some quantifiers - makes it possible to query model values of the variables in premises *)
 transformation "introduce_premises"