Assertion list
arm (primary) → Causes

Results from Ascent++: 1
armCauses death 0.24