Add tests for ProhibitSetNoCompatible
Implement ProhibitSetNoCompatible