Assertions were disables for CVC4.