Better highest ancestor for taxonomies