add tests for patternNot constraint