Assertion list for term "guaranteed to match one of the method signatures".
Results from Ascent++: 1
method signature (subgroup of signature) → ReceivesAction → guaranteed to match one of the method signatures 0.68