項が多すぎるブール式を報告します。 このような式は混乱を招く可能性があり、バグを誘発しやすくします。

例:


  cond(x1) && cond(x2) ^ cond(x3) && cond(x4);

インスペクションの構成: