Assertion list
dinghy (primary) → HasA
Results from Ascent++: 1
dinghy → HasA → leak 0.33