added more assertion information