Fixed ExamplesTest to take into account ITE strengthening clauses.
Fixed ExamplesTest to take into account ITE strengthening clauses.

drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod