$ python
Python 3.12.3 (main, Apr 26 2024, 09:58:40) [GCC 9.4.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from z3 import *
>>> x = Int('x')
>>> f = Lambda(x, x + 1)
>>> exit()
ASSERTION VIOLATION
File: /tmp/build-via-sdist-tued87mr/z3_solver-4.14.1.0/core/src/ast/ast.cpp
Line: 406
UNEXPECTED CODE WAS REACHED.
4.14.1.0
Please file an issue with this message and more detail about how you encountered it at https://github.com/Z3Prover/z3/issues/new
terminate called after throwing an instance of 'default_exception'
  what():  unreachable
Aborted (core dumped)