adding support for cvc4