Predicate DefUse::definitionReaches

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

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