add files for model checking Thread class