For a sequence seq, initial
state initial_state,
and binary function object or function pointer f,
reverse_iter_fold returns the result of the repeated
application of binary f
to the result of the previous f
invocation (inital_state
if it is the first call) and iterators on each element of seq.