Assertion list
tee (primary) → HasA
Results from Ascent++: 2
tee → HasA → hole 0.25
tee → HasA → loop 0.25