Assertion list
spit (primary) → ReceivesAction
Results from Ascent++: 3
spit → ReceivesAction → formed 0.46
spit → ReceivesAction → balanced 0.25
spit → ReceivesAction → left undeveloped 0.25