Package contains base utility methods for NuSMV tests.