Assertion list
branch (aspect of union ) → HasA
Results from Ascent++: 1
branch → HasA → a union-shop contract 0.25