Predicate FlowVar::FlowVar_internal::allReadsDominatedByOverwrite

Holds if all read accesses of v are dominated by an overwrite of v.

predicate allReadsDominatedByOverwrite(UninitializedLocalVariable v)