Assertion list for term "apply with obvious changes".

Results from Ascent++: 1
remark CapableOfapply with obvious changes 0.47