CheckNullPointer: Removed some of the old checking that doesn't use ValueFlow