Add ArrayOfAType assertion