Minor change: added an accessor for the id property of Tree