例えば、条件分岐の条件がx>0の場合、そのまま分岐しないで処理を続行する場合はx≤0であり、分岐した場合はx>0となっていると判断できる。
比如，如果一个分支条件是x>0，那么在条件不满足的分支，分析会假设x<=0；而在满足条件的分支，会假设x>0确实成立。