Updated SoD conflict test: should raise a warning instead of an error
Implemented warning on unnecessary DSoD constraints. Fixes issue #2

If a DSoD constraint has an equivalent SSoD constraint, the DSoD
constraint is unnecessary. Relevant tests have also been updated: the
expected warning message is now more explicit