fixed preferenced integration test
PROBCORE-578 Implemented searching for goal in model checker.