Tree successor algebra