now building with cvc4, lets run tests on goto