tree_comparer: option for single function introduced.