Add deep assert code