Assertion list for term "declared within method".
Results from Ascent++: 1
local variable (subgroup of variable) → ReceivesAction → declared within method 0.35