smt-test to use cvc4 only