Assertion list for term "run for wrong reasons".

Results from Ascent++: 1
ghost CapableOfrun for wrong reasons 0.29