Assertion list for term "come with pad".

Results from Ascent++: 1
trampoline CapableOfcome with pad 0.41