Member predicate NameNode::NameConstantNode::deletes

Whether this flow node deletes the variable v.

predicate deletes(Variable v)