In the ode visit method,

if (leaf.getCurrentDepth()>depth), then we ignore this leaf, because it finished the maximum unrolling