Array Indexing and Slicing - Numpy Typing CST Test