Assertion list for term "more or less finalized".

Results from Ascent++: 1
circuit HasPropertymore or less finalized 0.26