Added more assumption checking diagonistics

(final version, has been submitted)