Ascent++ | expected return

Assertion list

expected return (subgroup of return ) → CapableOf

Results from Ascent++: 2

expected return → CapableOf → expected return	0.25
expected return → CapableOf → could happen	0.16