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 javascriptpredicate hasDominatingWrite(PropRead read)