replace ASSERTS by ENSURES and add pretty info