Merge branch 'feature/clean'

src/CMakeFiles/hybrid-sog.dir/LDDState.cpp.o

src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o

src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o

src/CMakeFiles/hybrid-sog.dir/NewNet.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o

src/CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o

src/CMakeFiles/hybrid-sog.dir/SpotSogIterator.cpp.o

src/CMakeFiles/hybrid-sog.dir/SpotSogState.cpp.o

src/CMakeFiles/hybrid-sog.dir/TransSylvan.cpp.o

src/CMakeFiles/hybrid-sog.dir/build.make

src/CMakeFiles/hybrid-sog.dir/cmake_clean.cmake

src/CMakeFiles/hybrid-sog.dir/depend.internal