Package contains base utility methods for Yices tests.