slapo-constraint negated regex