[Boost-users] [Graph] Guarantee on bidirectional graphs