Rewritting of 'RecursiveTraversal' functor in progress...