belongToSameTree is done, without testing.