Assertion list
peristalsis (primary) → ReceivesAction
Results from Ascent++: 2
peristalsis → ReceivesAction → followed by 32b 0.25
peristalsis → ReceivesAction → increased 0.25