Assertion list for term "the result of f".

Results from Ascent++: 1
matrix HasAthe result of f 0.28