Oh ok then.  If we can convince ourselves it's unreachable, we can remove the conditional, which should be a pretty big win inside a nested loop like that.