Version for model checking contest