Predicate definitionReaches

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

Import path

import javascript
predicate definitionReaches(Variable v, VarDef def, VarUse use)