Assertion list
local variable (subgroup of variable ) → AtLocation
Results from Ascent++: 1
local variable → AtLocation → scope 0.51