Check in a partial sketch ofa robinson foulds distance algorithm