Assertion list
method signature (subgroup of signature ) → ReceivesAction
Results from Ascent++: 1
method signature → ReceivesAction → guaranteed to match one of the … 0.68