Dump TERMS-WITH-FUNCTOR.