The divide makes sense in context then... Thanks for the explanation. This check seemed like a useful thing and found a couple bugs but it turns out that condition divides can be the most readable thing in context. So it maybe has a too high false positive rate. regards, dan carpenter
