Member predicate DataFlow::ContentSet::isProperty
Holds if this content set represents the property p.
For getAReadContent, this set represents all properties that may
(reflexively and transitively) override/implement p (or vice versa).
predicate isProperty(Property p)