Assertion list
routing protocol (subgroup of protocol ) → ReceivesAction
Results from Ascent++: 1
routing protocol → ReceivesAction → configured 0.52