modified: CMakeLists.txt

	modified:   src/CMakeLists.txt
	modified:   src/LDDGraph.cpp
	modified:   src/LDDGraph.h
	modified:   src/MCHybridSOG.cpp
	new file:   src/ModelCheckThReq.cpp
	new file:   src/ModelCheckThReq.h
	modified:   src/ModelCheckerTh.cpp
	modified:   src/ModelCheckerTh.h
	modified:   src/SogKripkeTh.cpp
	modified:   src/SylvanWrapper.h
	modified:   src/main.cpp