Assertion list for term "formed in trench".

Results from Ascent++: 1
gate ReceivesActionformed in trench 0.33