Assertion list for term "stored into local variable".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → stored into local variable 0.30