Assertion list for term "available in wire".

Results from Ascent++: 1
alloy ReceivesActionavailable in wire 0.28