Add cvc4.