arrayIndexThenCheck: changed ASSERT_EQUALS to TODO_ASSERT