Run CVC4 with --rewrite-divk flag