Assertion list
chisel (primary) → IsA
Results from Ascent++: 1
chisel → IsA → tool 0.54