Assertion list
crossbar (primary) → HasProperty
Results from Ascent++: 3
crossbar → HasProperty → white 0.62
crossbar → HasProperty → flexible 0.59
crossbar → HasProperty → separate 0.25