Code Inspection: Condition inside logical expression checked by subsequent condition

Reports the conditions inside logical binary expressions that are covered by subsequent conditions and are therefore redundant.

In the following example, the $var > 0 condition is effectively superseded by the subsequent $var > 1 condition and is redundant. After the quick-fix is applied, the redundant condition is removed.

if ($var > 0 && $var > 1) {
    echo $msg;
}

if ($var > 1) {
    echo $msg;
}