Assertion list
waist (primary) → HasSubevent
Results from Ascent++: 2
waist → HasSubevent → disequilibrium 0.25
waist → HasSubevent → leak 0.22