Predicate PointsTo::PointsTo::Flow::callsite_exit_value_transfer

Gets the ESSA variable from which def acquires its value, when a call occurs. Helper for callsite_points_to.

predicate callsite_exit_value_transfer(EssaVariable callee_var, PointsToContext callee_context, CallsiteRefinement def, PointsToContext callsite_context)