Expand 'div' for CVC4
Improve performance of div in CVC4