change loop-assertions into just one assertion