Member predicate Exprs::Name::uses

Whether this expression is a use of variable v If doing dataflow, then consider using SsaVariable.getAUse() for more precision.

predicate uses(Variable v)