Predicate definitionReaches
Holds if the definition def of some stack variable can reach node, which
is a definition or use, without crossing definitions of the same variable.
Import path
import semmle.code.cpp.controlflow.DefinitionsAndUsespredicate definitionReaches(Expr def, Expr node)