Member predicate VarDef::isOverwritten
Holds if this definition of v is overwritten by another definition, that is,
another definition of v is reachable from it in the CFG.
predicate isOverwritten(Variable v)Holds if this definition of v is overwritten by another definition, that is,
another definition of v is reachable from it in the CFG.
predicate isOverwritten(Variable v)