The process of going from
(sum a b)
to
(filtered-accumulate? pred? op id term a next b)
is called this