代码检查：将否定的空值/模式检查合并为复杂模式

此检查会报告可以合并为单一否定模式的连续空值检查。 例如，空值检查后跟成员访问可以用 not null 的属性模式重写为一个。