Assertion list
silencer (primary) → HasA
Results from Ascent++: 1
silencer → HasA → much internal volume 0.30