Clean tests
tests with boolector