Assertion list
pool fence (subgroup of fence ) → HasA
Results from Ascent++: 1
pool fence → HasA → gate 0.25