Predicate signature OutputSig::clearsContent
Holds if captured variable v is cleared at node.
signature predicate clearsContent(ClosureNode node, CapturedVariable v)Holds if captured variable v is cleared at node.
signature predicate clearsContent(ClosureNode node, CapturedVariable v)