It's particularly interesting that Tree Borrows treats all mutable references as two-phase borrows, which seems to have unexpected benefits and could make the model more permissive