[Dewie3]

Thanks, that clears things up. I assumed that Nullpointer analysis was a special case.