post-condition

[计] 后置条件