Testing with cvc4