Assertion list
slice (primary) → AtLocation
Results from Ascent++: 1
slice → AtLocation → the transaction state 0.25