annotator/test/test_model.py::test_constants_are_atoms

@given(s_const=st_const, s_obj=st_annotation)
>   @settings(max_examples=500, suppress_health_check=[HealthCheck.filter_too_much])
    def test_constants_are_atoms(s_const, s_obj):
E   FailedHealthCheck: Data generation is extremely slow: Only produced 7 valid examples in 1.04 seconds (186 invalid ones and 0 exceeded maximum size). Try decreasing size of the data you're generating (with e.g.max_size or max_leaves parameters).
E   See https://hypothesis.readthedocs.io/en/latest/healthchecks.html for more information about this. If you want to disable just this health check, add HealthCheck.too_slow to the suppress_health_check settings for this test.

annotator/test/test_model.py:202: FailedHealthCheck
---------- Hypothesis ----------
You can add @seed(195726626449970319922709871378047157101) to this test or run pytest with --hypothesis-seed=195726626449970319922709871378047157101 to reproduce this failure.

builder: rpython-macos-x86-64 build #770*

test: annotator/test/test_model.py::test_constants_are_atoms