Member predicate Content::impliesClearOf
INTERNAL: Do not use.
Holds if a write to this Content
implies that c
is
also cleared.
For example, a write to a field f
implies that any content of
the form *f
is also cleared.
predicate impliesClearOf(Content c)