Conflict clauses are now minimal

Implemented subsection check on conflict clauses in order for them to
be as concise (and therefore useful) as possible.