Assertion list for term "win with same formula".

Results from Ascent++: 1
west CapableOfwin with same formula 0.25