Assertion list
heat (primary) → HasSubevent

Results from Ascent++: 2
heatHasSubevent reduction 0.34
heatHasSubevent death 0.24