Assertion list for term "reduced shorter lifetimes".

Results from Ascent++: 1
circuit CapableOfreduced shorter lifetimes 0.16