Minor refactoring of GEP handling in isDereferenceablePointer