Member predicate Exprs::Expr::defines

Whether this expression defines variable v If doing dataflow, then consider using SsaVariable.getDefinition() for more precision.

predicate defines(Variable v)