diff --git a/src/SogKripkeIterator b/src/SogKripkeIterator
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/src/SogKripkeIterator.cpp b/src/SogKripkeIterator.cpp
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/src/SogKripkeIterator.h b/src/SogKripkeIterator.h
new file mode 100644
index 0000000000000000000000000000000000000000..eed35492ab0ff8ef472b0600d619d3b9edf7cb5d
--- /dev/null
+++ b/src/SogKripkeIterator.h
@@ -0,0 +1,6 @@
+#ifndef SOGKRIPKEITERATOR_H_INCLUDED
+#define SOGKRIPKEITERATOR_H_INCLUDED
+
+
+
+#endif // SOGKRIPKEITERATOR_H_INCLUDED
diff --git a/src/SogKripkeState.cpp b/src/SogKripkeState.cpp
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/src/SogKripkeState.h b/src/SogKripkeState.h
new file mode 100644
index 0000000000000000000000000000000000000000..57c6dbe7648b8273d0b9f945c28b5a08302d594f
--- /dev/null
+++ b/src/SogKripkeState.h
@@ -0,0 +1,6 @@
+#ifndef SOGKRIPKESTATE_H_INCLUDED
+#define SOGKRIPKESTATE_H_INCLUDED
+
+
+
+#endif // SOGKRIPKESTATE_H_INCLUDED