[计] loop assertion generating system
xún huán duàn yán shēng chéng xì tǒng ㄒㄩㄣˊ ㄏㄨㄢˊ ㄉㄨㄢˋ ㄧㄢˊ ㄕㄥ ㄔㄥˊ ㄒㄧˋ ㄊㄨㄥˇ
循环断言生成系统