Assertion list
multiple interface (subgroup of interface ) → ReceivesAction
Results from Ascent++: 1
multiple interface → ReceivesAction → supported 0.68