Merge the whole chains of pending threads

+ Keep pending with fraction == 1
+ Don't merge other.merged systematically
+ Don't resolve if the pivot is on one branch only (add to pending)

Issues :
- SEQ042_size2.smt2 addPending should use ConflictGraph too
- eq_diamond10.smt2 case when pivot isn't on any branch