- | Checks whether an expression is an lval.
isLVal :: Expr p -> Bool
isLVal e = isFieldAccess e || isVarAccess e

isLVal :: Expr p -> Bool
isLVal e = isFieldAccess e || isVarAccess e
isLVal e = isFieldAccess e || isVarAccess e