Member predicate NameNode::NameNode::uses

Whether this flow node uses the variable v.

predicate uses(Variable v)