diff --git a/solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala b/solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala
index 8274c61797708ed0f63e6af5855c725be1f16b69..7d99c74c9b6b22876630d00e9e9ea03727997281 100644
--- a/solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/CompleteTTCProcess.scala
@@ -39,6 +39,7 @@ object CompleteTTCProcess extends App {
     ctts = new CreateTruthTableSync()
     if (sync) {
       SynchronizationCompartment.changeConstructionRule(TTandBDTandBDDSyncConstruction)
+      SynchronizationCompartment.addSynchronizationRule(new SyncHeadNamesSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncPortNamesSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncChangesTruthTableSync)
       SynchronizationCompartment.addSynchronizationRule(new SyncChangesCellSync)
diff --git a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncChangesTruthTableSync.scala b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncChangesTruthTableSync.scala
index 6b15b60942bc760ff6dcc4f47d5707cbeaec54fc..896c7cc47fc6f80454660db82476b6ea5a345993 100644
--- a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncChangesTruthTableSync.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncChangesTruthTableSync.scala
@@ -519,22 +519,6 @@ class SyncChangesTruthTableSync() extends ISyncCompartment {
         }
       }
     }*/
-
-    /**
-     * Change the names of TruthTable and BDDs.
-     */
-    def changeName(): Unit = {
-      if (!doSync) {
-        doSync = true;
-        var name: String = +this getName ();
-        getSyncer().foreach { a =>
-          if (!a.equals(this)) {
-            (+a).setName(name);
-          }
-        }
-        doSync = false;
-      }
-    }
   }
 
 }
\ No newline at end of file
diff --git a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncHeadNamesSync.scala b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncHeadNamesSync.scala
index c3f5e7afd340aebd259d2a082986aa64f17d1912..a6812e97f8981efc8b86f4becad349c94b41456c 100644
--- a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncHeadNamesSync.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncHeadNamesSync.scala
@@ -40,7 +40,7 @@ class SyncHeadNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncHeadNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();
diff --git a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncInputPortNamesSync.scala b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncInputPortNamesSync.scala
index 677e47b80df07153204acbebfcfb8ada62f584d5..ccc04f1246117c9fd0e11f9d082fd5658334fad8 100644
--- a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncInputPortNamesSync.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncInputPortNamesSync.scala
@@ -40,7 +40,7 @@ class SyncInputPortNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncInputPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();
diff --git a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncOutputPortNamesSync.scala b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncOutputPortNamesSync.scala
index 3a67d3dd7dbc33b28bcbfc909cc705f17a916f67..2723c6dfb17f0136c4bd331e3d0163453df6281e 100644
--- a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncOutputPortNamesSync.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncOutputPortNamesSync.scala
@@ -40,7 +40,7 @@ class SyncOutputPortNamesSync() extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncOutputPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();
diff --git a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncPortNamesSync.scala b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncPortNamesSync.scala
index ff789f84c1db664ea9c0ad1bba63fb34ea9de310..6599721c8a81f1433851d9f45df6f4634f7ddae5 100644
--- a/solutions/RSync/src/main/scala/ttc2019/worksync/SyncPortNamesSync.scala
+++ b/solutions/RSync/src/main/scala/ttc2019/worksync/SyncPortNamesSync.scala
@@ -40,7 +40,7 @@ class SyncPortNamesSync extends ISyncCompartment {
 
     def getOuterCompartment(): ISyncCompartment = SyncPortNamesSync.this
 
-    def changeName(): Unit = {
+    def syncSetName(): Unit = {
       if (!doSync) {
         doSync = true;
         var name: String = +this getName();