Programs with Asynchronous Atomic Methods -- Causal Atomicity -- Session 12. Trees,