Assertion list for term "passed through the one-way locking mechanism".

Results from Ascent++: 1
wire ReceivesActionpassed through the one-way locking mechanism 0.32