Assertion list for term "left on martingale".

Results from Ascent++: 1
turn CapableOfleft on martingale 0.27