Predicate VirtualDispatch::variableTrack

Gets an expression by tracking use backwards through variable assignments.

Expr variableTrack(Expr use)