Assertion list
speculation (primary) → HasA
Results from Ascent++: 1
speculation → HasA → value 0.34