Assertion list for term "set to correct time".

Results from Ascent++: 1
clock ReceivesActionset to correct time 0.56