Assertion list
gas (primary) → HasSubevent
Results from Ascent++: 1
gas → HasSubevent → reduction 0.29