Assertion list for term "ignored in the case".

Results from Ascent++: 4
value (aspect of expression) ReceivesActionignored in the case 0.28
value (aspect of variable) ReceivesActionignored in the case 0.28
value (aspect of function) ReceivesActionignored in the case 0.25
value (aspect of parameter) ReceivesActionignored in the case 0.25