ArrayAccess impl should work with keyExists assertion