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