Assertion list
expected return (subgroup of return ) → ReceivesAction

Results from Ascent++: 1
expected returnReceivesAction calculated 0.25