How to Use Hypothesis for Model-based Testing (Step by Step)