[计] verification condition generator

yàn zhèng tiáo jiàn shēng chéng chéng xù ㄧㄢˋ ㄓㄥˋ ㄊㄧㄠˊ ㄐㄧㄢˋ ㄕㄥ ㄔㄥˊ ㄔㄥˊ ㄒㄩˋ