[Boost-users] [MultiIndex] is ordered_non_unique stable?