Member predicate VarAccess::isVarWrite
Holds if this variable access is a write access.
That means the access is the destination of an assignment.
predicate isVarWrite()
Holds if this variable access is a write access.
That means the access is the destination of an assignment.
predicate isVarWrite()