Assertion list for term "lie with the working procedures".

Results from Ascent++: 1
obstacle CapableOflie with the working procedures 0.24