Removed auto-resolve of unit clauses.