Member predicate NameNode::NameNode::defines

Whether this flow node defines the variable v.

predicate defines(Variable v)