Assertion list for term "function in sluggish state".

Results from Ascent++: 1
mercury CapableOffunction in sluggish state 0.23