Add assertion on the end of a main loop, change to exists