Holds if this variable access is a read access.
In other words, it is a variable access that does not occur as the destination of a simple assignment, but it may occur as the destination of a compound assignment or a unary assignment.
predicate isVarRead()