xml_difference and shared_prefix