Assertion list for term "minimize the number of times".

Results from Ascent++: 1
cpu CapableOfminimize the number of times 0.25