icontract>=2.5.1,<3
hypothesis>=5,<7
