Assertion list for term "return in r1".

Results from Ascent++: 2
value (aspect of function) CapableOfreturn in r1 0.25
value (aspect of variable) CapableOfreturn in r1 0.25