Assertion list for term "based on cu".

Results from Ascent++: 1
alloy ReceivesActionbased on cu 0.33