Replace to_vibes by visit_leaves