Assertion list
global variable (subgroup of variable ) → IsA
Results from Ascent++: 1
global variable → IsA → variable 0.68