Assertion list
bastion (primary) → HasA
Results from Ascent++: 1
bastion → HasA → casemate 0.25