Assertion list for term "greater than index_type'last".
Results from Ascent++: 1
value (aspect of function) → HasProperty → greater than index_type'last 0.25