Assertion list for term "use latter option".

Results from Ascent++: 1
circuit CapableOfuse latter option 0.25