replaced BOOST_CHECK by BOOST_ASSERT