Assertion list for term "obtained by next_pdcp_rx_sn".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → obtained by next_pdcp_rx_sn 0.28