Fix bug with tautological clauses added by completion in presense of choice rules.
Add assert in addClause() to check that no tautology is added to the clause set.