Assertion list
local variable (subgroup of variable ) → IsA
Results from Ascent++: 2
local variable → IsA → variable 0.61
local variable → IsA → reference 0.25