Accumulate should recursively verify the previous merge proof.
Accumulate should recursively verify the previous merge proof.