Assertion list for term "ignored in other calls".
Results from Ascent++: 2
value (aspect of call) → ReceivesAction → ignored in other calls 0.16
value (aspect of variable) → ReceivesAction → ignored in other calls 0.16