[  406s] =================================== FAILURES ===================================
[  406s] __________________________ test_eval_input_generation __________________________
[  406s] [gw1] linux -- Python 3.9.18 /usr/bin/python3.9
[  406s] 
[  406s]     [@given](https://build.opensuse.org/users/given)(source_code=hypothesmith.from_grammar("eval_input"))
[  406s] >   def test_eval_input_generation(source_code):
[  406s] E   hypothesis.errors.Unsatisfiable: Unable to satisfy assumptions of test_eval_input_generation
[  406s] 
[  406s] tests/test_syntactic.py:90: Unsatisfiable
[  406s] ---------------------------------- Hypothesis ----------------------------------
[  406s] You can add [@seed](https://build.opensuse.org/users/seed)(185515517109102200791615171605986063833) to this test or run pytest with --hypothesis-seed=185515517109102200791615171605986063833 to reproduce this failure.
[  406s] =========================== short test summary info ============================
[  406s] FAILED tests/test_syntactic.py::test_eval_input_generation - hypothesis.error...
[  406s] ======= 1 failed, 169 passed, 2 skipped, 3 xfailed in 396.34s (0:06:36) ========