Assertion list for term "accessed inside function".
Results from Ascent++: 1
global variable (subgroup of variable) → ReceivesAction → accessed inside function 0.25