Assertion list for term "merge with tip".

Results from Ascent++: 1
mirror CapableOfmerge with tip 0.27