Add necessary files for model checking. Translation script is incomplete for now.