Package contains the Yices tests.