Member predicate ExprNodes::VariableWriteAccessCfgNode::isExplicitWrite
Holds if this access is a write access belonging to the explicit
assignment assignment
. For example, in
a = foo
both a
is write accesses belonging to the assignment a = foo
.
predicate isExplicitWrite(AssignExprCfgNode assignment)