报告被后续条件覆盖,因此是冗余的逻辑二元表达式内的条件。