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.