Assertion list
exodus (primary) → HasA
Results from Ascent++: 1
exodus → HasA → built-in exchange 0.32