bug fixes and test addition to ArrayAccess interface