Assertion list for term "lock at intersection".

Results from Ascent++: 1
wire CapableOflock at intersection 0.27