Check for detection of DSoD violations in constraints. Fixes #14