Pointer Logic Dealing with Uncertain Equality of Pointers: Pointer Logic Dealing with Uncertain Equality of Pointers