[boost] Re: [review] Formal review of the Smart Container library extended