Support cvc4