Assertion list
ferret (primary) → Causes

Results from Ascent++: 1
ferretCauses blockage 0.16