Assertion list for term "progress without infraction".

Results from Ascent++: 1
round CapableOfprogress without infraction 0.29