Assertion list
leak (primary) → HasA
Results from Ascent++: 2
leak → HasA → username 0.33
leak → HasA → chilling effect 0.16