Predicate AutoBoxing::flowTarget

Relate expressions and the variables they flow into in one step, either by assignment or parameter passing.

Variable flowTarget(Expr arg)