Assertion list for term "availed in design".

Results from Ascent++: 1
clock ReceivesActionavailed in design 0.25