Sort in deleteClauses function becomes stable_sort in order to guarantee that the same behaviour on several operating systems.
Optimization at level 0: binary clauses which are true are removed from literals.
Optimization in class Component: if an element in the unfounded set is conflictual it is processed before other elements.