Implements the famous quickXplain algorithm in a generic way [Ulrich Junker and F- Valbonne, QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms, 2001] and proposes a faster implementation in case additional operation can be performed on the state