Assertion list
logic bomb (primary) → IsA
Results from Ascent++: 1
logic bomb → IsA → program 0.59