Reading properties from objects in read-only contexts without variable tracking [ci skip]