Assertion list
adder (primary) → HasA
Results from Ascent++: 2
adder → HasA → first input 0.41
adder → HasA → two outputs 0.32