Predicate localScopeSourceVariable
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate localScopeSourceVariable(LocalScopeSourceVariable sv, LocalScopeVariable v, Callable c1, Callable c2)import semmle.code.csharp.dataflow.internal.SsaImplpredicate localScopeSourceVariable(LocalScopeSourceVariable sv, LocalScopeVariable v, Callable c1, Callable c2)