refactoring to prepare for parallel model-checker
parallel model checker