Assertion list
behavior (aspect of neighbor ) → ReceivesAction
Results from Ascent++: 1
behavior → ReceivesAction → repeated 0.16