Assertion list for term "point to first element".

Results from Ascent++: 1
pointer CapableOfpoint to first element 0.41