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