Added a test for CVC4