WIP: ConflictGraph version with SequentProofNode
WIP: Some pending are missing in conflict graph

+ generic ConflictGraph with implicit conversions
+ regularisation cases