I think that when we first wrote this, we wanted to make it clear that collapseIdenticalLeaves() was returning tree if it didn't collapse anything. Not sure. I don't feel strongly about this...