Assertion list for term "synchronised to a clock edge".

Results from Ascent++: 1
turn ReceivesActionsynchronised to a clock edge 0.41