Assertion list for term "local variables".
Results from Ascent++: 1
thread → HasA → local variables 0.32