Assertion list for term "come in effort".

Results from Ascent++: 1
design (aspect of coin) CapableOfcome in effort 0.25