Assertion list for term "correspond to last item of the dimension".

Results from Ascent++: 1
matrix CapableOfcorrespond to last item of the dimension 0.25