Candidates for quickcheck-state-machine-distributed