Assertion list for term "put in separately".

Results from Ascent++: 1
handle ReceivesActionput in separately 0.38