The cvalues cannot precisely represent structs and arrays: they are irrelevant
and could degrade the state precision for such lvalues.