Constraint fixes
A number of simplifications of the Constraint code. The most important is the first one that fixes a bug for which with some traces we raise a "Unable to handle duplicates" where we shouldn't.
A number of simplifications of the Constraint code. The most important is the first one that fixes a bug for which with some traces we raise a "Unable to handle duplicates" where we shouldn't.