Assertion list
multiplexer (primary) → IsA
Results from Ascent++: 1
multiplexer → IsA → device 0.59