Assertion list for term "determined by the model".

Results from Ascent++: 1
handle ReceivesActiondetermined by the model 0.32