Assertion list for term "return with s*a*m".

Results from Ascent++: 1
perry CapableOfreturn with s*a*m 0.16