diff --git a/alib2/src/automaton/Counter/OneCounter.h b/alib2/src/automaton/Counter/OneCounter.h
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/alib2/src/automaton/Counter/TwoCounter.h b/alib2/src/automaton/Counter/TwoCounter.h
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/alib2/src/automaton/TA/TreeAutomaton.h b/alib2/src/automaton/TA/TreeAutomaton.h
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391