Model the transfer of values at scope-entry points. Transfer from (pred_var, pred_context)
to (succ_def, succ_context)
.
Import path
import semmle.python.pointsto.PointsTo
predicate scope_entry_value_transfer(EssaVariable pred_var, PointsToContext pred_context, ScopeEntryDefinition succ_def, PointsToContext succ_context)