Assertion list for term "make detailed analysis".

Results from Ascent++: 1
report CapableOfmake detailed analysis 0.55