Added validation tests for detection of conflicting SoD constraints