Assertion list
interrupt (primary) → Causes
Results from Ascent++: 1
interrupt → Causes → a denial of service 0.28