Allow state labels in not clauses.