Member predicate VariableAccess :: isRValue
Holds if this variable access is an rvalue.
predicate
isRValue
(
)