Fix inner duplication in conflict reason simplification

Could lead to stack overflow as in fixed #1762
Conflicts msg: remove duplicate ORed constraints
Merge pull request #1769 from OCamlPro/fix-stack-overflow

Fixes #1762