您即将离开知乎，请注意您的账号和财产安全。
https://docs.soliditylang.org/en/v0.8.7/smtchecker.html#constrained-horn-clauses-chc
