9.1.3 前提或后置条件不满足时会发生的情况