mark-071

> Hi [@mark-071](https://github.com/mark-071) could you please provide a simple, reduced testcase that demonstrates the bug? os: ubuntu24.04, compiler: clang14 command: /usr/lib/llvm-14/bin/clang++ test.cpp -E -o test.cpp.ipp esbmc test.cpp.ipp source code: test.cpp...