add add-one-pattern
add iter-over-text-aux
add iter-over-text