如果一个用例的执行过程遵循了主事件流，则用例终点处总是为真的条件为（）

如果一个用例的执行过程遵循了主事件流，则用例终点处总是为真的条件为（）
A、后置条件
B、前置条件
C、主事件流
D、可替换事件流描述
正确答案：后置条件