Add static linkage to file-local function

[Copilot]

One function was defined at file scope but only used within its compilation unit, violating encapsulation and unnecessarily exposing symbols.

Changes

• throw_invalid_reference() in src/api/z3_replayer.cpp - internal error handling helper

This function now has static linkage, properly scoping it to its translation unit.

// Before
void throw_invalid_reference() { ... }

// After  
static void throw_invalid_reference() { ... }

Notes

Initially identified SetR, SetO, SetAO in api_log.cpp as candidates, but these are declared in the generated header api_log_macros.h and must remain externally visible.

The prexpr() function in src/ast/ast.cpp was initially changed but has been reverted to remain available for debugging purposes across the codebase.

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[nunoplopes]

@copilot revert this one. It should always be available for debugging. Maybe define it only in debugging mode.

[Copilot]

Reverted in eced186. The prexpr function is now non-static and remains available for debugging.