Assertion list
internal node (subgroup of node ) → ReceivesAction
Results from Ascent++: 2
internal node → ReceivesAction → stored in different memory chan… 0.84
internal node → ReceivesAction → accessed 0.68