报告包含 truefalse 字面量并且可被简化的布尔表达式。