Holds if this variable access is an l-value.
An l-value is a write access to a variable, which occurs as the destination of an assignment.
predicate
isLValue
(
)