The simplest solution is to map each tree to a list of its leaves,
then compare the lists. But because we will have computed the entire
fringe before starting the comparison, if the fringes differ in an
The simplest solution is to map each tree to a list of its leaves,
then compare the lists. But because we will have computed the entire
fringe before starting the comparison, if the fringes differ in an