Predicate DeadStoreOfLocal::deadStoreOfLocal

Holds if vd is a definition of variable v that is dead, that is, the value it assigns to v is not read.

predicate deadStoreOfLocal(VarDef vd, PurelyLocalVariable v)