for X being finite binary DecoratedTree of IndexedREAL holds LeavesSet {X} = {(Leaves X)}