AddNextHoles: Generalize to any traversal of Sugar exprs