Holds if this pattern appears in an l-value position.
predicate
isLValue
(
)