Assertion list
epilogue (primary) → HasA
Results from Ascent++: 1
epilogue → HasA → trade-offs 0.35