A grove with five rooted mango trees is sold as land. Who gets the trees?

Kitab al-Buyu: Houses, Land, Trees, Crops and Fruit Ownership

• Always the former owner
• Split equally
• A third party
• The land buyer