Dieter, How can I check if this is the case? Gerry Dieter Maurer wrote: > > If it should turn out that I am right, then please file a bug > report. The "checking inefficiency" can definitely be fixed... > I had long discussions about it with Chris Withers, months ago. > I fear, he did not fix it -- despite the long discussions... > >