Assertion list
bellwether (primary) → HasA
Results from Ascent++: 3
bellwether → HasA → an effects loop 0.25
bellwether → HasA → input 0.25
bellwether → HasA → two outputs 0.25