Assertion list
crossbar (primary) → HasA
Results from Ascent++: 3
crossbar → HasA → same width 0.65
crossbar → HasA → first end 0.51
crossbar → HasA → bolt 0.16