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