Fix tests for latest Hypothesis 6.46.11

Due to changes in underlying Hypothesis library, we have to adapt our
tests. Notably, the inferred strategies are different without any
changes on our part.

We did not thoroughly test when the code changed, but the tests broke at
least with Hypothesis 6.15.0 and pass with Hypothesis 6.14.0.

Fixes #67.

tests_3_7/strategy_inference/test_strategy_inference_on_forward_declarations.py

@@ -10,6 +10,7 @@
 import unittest
 from typing import Sequence
 
+import hypothesis
 import icontract
 
 import icontract_hypothesis
@@ -71,15 +72,27 @@ def test_instance_method(self) -> None:
     def test_new(self) -> None:
         strategy = icontract_hypothesis.infer_strategy(some_func_on_c)
 
-        self.assertEqual(
-            "fixed_dictionaries("
-            "{'c': "
-            "fixed_dictionaries("
-            "{'xs': one_of(binary(), lists(integers()))"
-            ".filter(lambda xs: all(x > -(2 ** 63) for x in xs))})"
-            ".map(lambda d: C(**d))})",
-            str(strategy),
-        )
+        if hypothesis.__version_info__ <= (6, 14, 0):
+            self.assertEqual(
+                "fixed_dictionaries("
+                "{'c': "
+                "fixed_dictionaries("
+                "{'xs': one_of(binary(), lists(integers()))"
+                ".filter(lambda xs: all(x > -(2 ** 63) for x in xs))})"
+                ".map(lambda d: C(**d))})",
+                str(strategy),
+            )
+        else:
+            self.assertEqual(
+                "fixed_dictionaries("
+                "{'c': "
+                "fixed_dictionaries("
+                "{'xs': one_of("
+                "binary().filter(lambda xs: all(x > -(2 ** 63) for x in xs)), "
+                "lists(integers()).filter(lambda xs: all(x > -(2 ** 63) for x in xs)))})"
+                ".map(lambda d: C(**d))})",
+                str(strategy),
+            )
 
         icontract_hypothesis.test_with_inferred_strategy(do_something)