Added predicate to check for new type of manipulation designator: constraints-designators.