minor
fix wrong contradiction caching, add a test
less contradictors when coordinating clauses