Assertion list
signal (primary) → Causes

Results from Ascent++: 1
signalCauses interference 0.47