>> 1, "id = (T2)(e)" is rare. > > Thanks for checking. I don't really care if it is rare.
I got related source code analysis concerns. > There should not be much cost to this. Each additional filter will influence the software run times and possible results. > On the other hand, I do care about causing false negatives. Do you find the missing warning after the addition of such an exclusion specification interesting? Regards, Markus
