Add assertion on the end of a main loop