Member predicate FieldContent::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.