Assertion list
measure (primary) → HasSubevent
Results from Ascent++: 2
measure → HasSubevent → reduction 0.45
measure → HasSubevent → better efficiency 0.28