Pass rewrite-divk option to cvc4 to enable division by a constant