changed to TRI_ASSERT_DEBUG