add patternNot constraint