恒最弱前置条件

[计] constant weakest pre-condition

héng zuì ruò qián zhì tiáo jiàn ㄏㄥˊ ㄗㄨㄟˋ ㄖㄨㄛˋ ㄑㄧㄢˊ ㄓˋ ㄊㄧㄠˊ ㄐㄧㄢˋ