Assertion list
pylorus (primary) → ReceivesAction

Results from Ascent++: 1
pylorusReceivesAction preserved 0.25