Assertion list for term "implemented in the model".

Results from Ascent++: 1
correction ReceivesActionimplemented in the model 0.41