annotator/test/test_model.py::test_union_commutative

@given(st_annotation, st_annotation)
>   @settings(max_examples=500, suppress_health_check=[HealthCheck.filter_too_much])
    def test_union_commutative(s1, s2):
E   FailedHealthCheck: Data generation is extremely slow: Only produced 7 valid examples in 1.02 seconds (34 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:184: FailedHealthCheck
---------- Hypothesis ----------
You can add @seed(172284644242896171081492497330713807727) to this test or run pytest with --hypothesis-seed=172284644242896171081492497330713807727 to reproduce this failure.

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

test: annotator/test/test_model.py::test_union_commutative