Assertion list for term "a trace of stretch".

Results from Ascent++: 1
jean HasAa trace of stretch 0.42