https://eperez.blog/formal-verification-from-programs-to-formulas
#formalVerify 的原理解析