basic support for cvc4