Assertion list
trap (primary) → IsA
Results from Ascent++: 1
trap → IsA → device 0.37