Predicate localDefinitionReaches

Holds if the definition of local variable v in def reaches use along some control flow path without crossing another definition of v.

Import path

import javascript
predicate localDefinitionReaches(LocalVariable v, VarDef def, VarUse use)