Predicate signature InputSig::clearsContent
Holds if values stored inside content c
are cleared at node n
. For example,
any value stored inside f
is cleared at the pre-update node associated with x
in x.f = newValue
.
signature predicate clearsContent(Node n, ContentSet c)