Assertion list
loot (primary) → ReceivesAction
Results from Ascent++: 2
loot → ReceivesAction → distributed 0.25
loot → ReceivesAction → locked 0.25