Fix test that worked around minor CVC4 issue

Upcoming CVC4 1.3 release outputs the SMT-LIB 2.0 built-in
symbols for integer division and modulus.