start adding cvc4 support