Assertion list
potential return (subgroup of return ) → HasProperty
Results from Ascent++: 2
potential return → HasProperty → higher 0.68
potential return → HasProperty → lower 0.25