Documentation request: How to check if two constraints are equivalent?

[cheery]

I would like to test whether an equivalent or possibly conflicting constraint exist in the system when I add an user-inserted constraint.

I have some idea myself how to do it, but do I need to? Would you already happen to have a function like this somewhere in the solver?