detects more unreachable cases