Assertion list
gauze (primary) → HasA
Results from Ascent++: 1
gauze → HasA → 44 threads 0.40