Assertion list
rota (primary) → ReceivesAction
Results from Ascent++: 3
rota → ReceivesAction → left isolated 0.59
rota → ReceivesAction → left untouched 0.59
rota → ReceivesAction → updated 0.35