Implemented simplifications of trivial cyclic components.
Removed duplicated binary clauses.