This will avoid some FPs at the cost of some FNs. The rule doesn't handle branches in control flow or loops.