Seria muito massa aprofundar mais no assunto de Hypothesis, com o teste de máquina de estados. Mais massa ainda se usasse pra testar máquinas desenvolvidas em pytransitions ou python state-machine. Valeu!