ThreadGame example for model checking.