Assertion list
scan (primary) → Causes
Results from Ascent++: 1
scan → Causes → any harm 0.25