Property-based testing implementation of Missionaries and cannibals problem