Predicate BaseFlow::scope_entry_value_transfer_from_earlier
Import path
import semmle.python.pointsto.Basepredicate scope_entry_value_transfer_from_earlier(EssaVariable pred_var, Scope pred_scope, ScopeEntryDefinition succ_def, Scope succ_scope)import semmle.python.pointsto.Basepredicate scope_entry_value_transfer_from_earlier(EssaVariable pred_var, Scope pred_scope, ScopeEntryDefinition succ_def, Scope succ_scope)