Assertion list
ranch (primary) → Causes

Results from Ascent++: 1
ranchCauses much work 0.21