Assertion list for term "independent of the last".

Results from Ascent++: 1
spin ReceivesActionindependent of the last 0.32