Assertion list for term "set in case".
Results from Ascent++: 3
value (aspect of parameter) → ReceivesAction → set in case 0.41
node → ReceivesAction → set in case 0.37
verdict → ReceivesAction → set in case 0.32