`uninit` analysis misses uninitialized variables accessed through the pointers after integer round-trip

Tested with nightly Goblint image (sha256:691055f2e25b2b101041a8d348c3fedc9da6143d5831e8aa2bad81d16f35aa86), the following test case

// PARAM: --set ana.activated[+] uninit

#include <stdint.h>

int main(void) {
  int value;
  uintptr_t address = (uintptr_t)(void *)&value;
  int *pointer = (void *)address;
  return *pointer; // TODO WARN: uninitialized value
}

does not produce a warning on *pointer despite the fact that pointer is &value after round-trip through uintptr_t. Instead, Goblint reports [Info][Unsound] Access to unknown address could be global. However, with conf/examples/very-precise.json no warnings are reported at all, which is unsound.

The issue was discovered by a coding agent when testing the effects implementation

Start by reproducing the provided C test case with the uninit analysis enabled, then compare its behavior with conf/examples/very-precise.json. Trace the effects implementation and the handling of pointers converted through uintptr_t; done means the dereference produces the expected uninitialized-value warning without the unsound unknown-address result.