diff --git a/tests-integration/src/templates/template-with-cli-args.cc b/tests-integration/src/templates/template-with-cli-args.cc
index a3bf191aa..faf1deb6e 100644
--- a/tests-integration/src/templates/template-with-cli-args.cc
+++ b/tests-integration/src/templates/template-with-cli-args.cc
@@ -11,7 +11,7 @@
 #include <chrono>
 #include <string>
 
-using namespace Mata::nfa;
+using namespace mata::nfa;
 
 const bool MINTERMIZE_AUTOMATA = true;
 
@@ -25,7 +25,7 @@ int main(int argc, char *argv[])
     std::string filename = argv[1];
 
     Nfa aut;
-    Mata::OnTheFlyAlphabet alphabet{};
+    mata::OnTheFlyAlphabet alphabet{};
     if (load_automaton(filename, aut, alphabet, MINTERMIZE_AUTOMATA) != EXIT_SUCCESS) {
         return EXIT_FAILURE;
     }
diff --git a/tests-integration/src/templates/template-with-list-of-automata.cc b/tests-integration/src/templates/template-with-list-of-automata.cc
index f7a5a807d..fcb5e659e 100644
--- a/tests-integration/src/templates/template-with-list-of-automata.cc
+++ b/tests-integration/src/templates/template-with-list-of-automata.cc
@@ -14,7 +14,7 @@
 #include <string>
 #include <vector>
 
-using namespace Mata::nfa;
+using namespace mata::nfa;
 
 const bool MINTERMIZE_AUTOMATA = true;
 
@@ -27,76 +27,76 @@ int main(int argc, char *argv[])
      * NOTE: Comment out automata, that you do not want to process or add your own automata.
      */
     std::vector<std::string> automata = {
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easy/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut0.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut0.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut0.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut10.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut11.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut12.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut13.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut14.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut15.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut16.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut17.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut3.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut4.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut5.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut6.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut7.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut8.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut9.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut0.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut10.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut11.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut12.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut13.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut14.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut15.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut16.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut3.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut4.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut5.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut6.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut7.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut8.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut9.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut0.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut2.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut3.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut21.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut26.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut27.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut35.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut51.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut26.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut40.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut61.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut69.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut7.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut1.mata",
-            Mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easy/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut0.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut0.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut0.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut10.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut11.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut12.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut13.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut14.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut15.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut16.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut17.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut3.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut4.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut5.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut6.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut7.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut8.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut9.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut0.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut10.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut11.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut12.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut13.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut14.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut15.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut16.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut3.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut4.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut5.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut6.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut7.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut8.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut9.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut0.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut2.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut3.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut21.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut26.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut27.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut35.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut51.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut26.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut40.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut61.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut69.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut7.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut1.mata",
+            mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut2.mata",
     };
 
     std::vector<std::string> source_automata;
@@ -120,7 +120,7 @@ int main(int argc, char *argv[])
     }
 
     for (const auto& aut_file : source_automata) {
-        Mata::OnTheFlyAlphabet alphabet{};
+        mata::OnTheFlyAlphabet alphabet{};
         Nfa nfa{};
         load_automaton(aut_file, nfa, alphabet, MINTERMIZE_AUTOMATA);
 
diff --git a/tests-integration/src/templates/template.cc b/tests-integration/src/templates/template.cc
index e56346071..3c09d21e2 100644
--- a/tests-integration/src/templates/template.cc
+++ b/tests-integration/src/templates/template.cc
@@ -5,7 +5,7 @@
 #include <chrono>
 #include <string>
 
-using namespace Mata::nfa;
+using namespace mata::nfa;
 
 int main() {
     // Setting precision of the times to fixed points and 4 decimal places