[Bug]: Shadowing variable breaks declaration reference after the end of the scope

[Jezurko]

VAST version

18

LLVM version

18

Operating system

Linux

Description

The SV-Comp test-suite program sv-benchmarks/c/seq-mthreaded-reduced/pals_floodmax.3.1.ufo.BOUNDED-6.pals.c.v+lhb-reducer.c

Steps to Reproduce

Using creduce I have obtained the following reproducer:

void b() {
  int c;
  { int c; }
  c;
}