Assertion list for term "examine every path".

Results from Ascent++: 1
metal CapableOfexamine every path 0.29