Assertion list
packet loss (subgroup of loss ) → ReceivesAction
Results from Ascent++: 1
packet loss → ReceivesAction → found out at early stage 0.68