Assertion list
layer protocol (subgroup of protocol ) → ReceivesAction
Results from Ascent++: 2
layer protocol → ReceivesAction → encapsulated in lower layer pro… 0.68
layer protocol → ReceivesAction → determined at runtime 0.25