Predicate AccessPath::DominatingPaths::hasDominatingWrite
EXPERIMENTAL. This API may change in the future.
Holds for read
if there exists a previous write to the same access-path that dominates this read.
Import path
import javascript
predicate hasDominatingWrite(PropRead read)