Add a nested version of Braun trees that ensures the shape invariant