Fix some bugs

src/CommonSOG.cpp

src/Hybrid/HybridKripkeIterator.cpp

src/LDDGraph.cpp

src/LDDState.cpp

src/LDDState.h

src/MCMultiCore/ModelCheckerCPPThread.cpp

src/MCMultiCore/ModelCheckerCPPThread.h

src/SogKripke.cpp

src/SogKripkeIterator.cpp

src/SogKripkeIterator.h

src/SogKripkeIteratorTh.cpp

src/SogKripkeIteratorTh.h

src/SogKripkeStateTh.cpp

src/SogKripkeTh.cpp

src/SpotSogIterator.cpp

src/algorithm/CNDFS.cpp

src/algorithm/CNDFS.h

src/algorithm/CndfsV2.cpp

src/main.cpp