New tree_comparer introduced.