Re: [boost] [boost.range] renaming empty() to is_empty()