Assertion list for term "described in following steps".

Results from Ascent++: 1
execution ReceivesActiondescribed in following steps 0.16