replacing cassert by boost asserts