Candidates for quickcheck-state-machine