Assertion list
global variable (subgroup of variable ) → HasA
Results from Ascent++: 2
global variable → HasA → external linkage 0.41
global variable → HasA → global scope 0.36