Assertion list for term "killed in the upper big branch explosion".
Results from Ascent++: 1
miner → ReceivesAction → killed in the upper big branch explosion 0.48