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