"*(*(bc)a)"
success (0, (b, 1, 1)) (1, (c, 2, 2)) (2, (0, 3)) (3, (4, 4)) (4, (a, 5, 5)) (5, (0, 6)) (6, (7, 7)) (7, (0, 0))