diff --git a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
index 55337a82a8d0078973f44cab48c0907ce7363d01..7db6be1dfe8f84c9ea4e4af5311ee5197737093a 100644
--- a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
+++ b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
@@ -34,14 +34,9 @@ public class DiplodocusSecurityTest extends AbstractTest {
     private static String currentModel;
     private static ArrayList<String> currentTabs;
     private static HashMap<String, List<String>> goldenMap;
-    private static final String PROVERIF_SUMMARY = "Verification summary:";
-    private static final String PROVERIF_QUERY = "Query";
     static String PROVERIF_DIR;
     static String MODELS_DIR;
-    private static HashMap<String, String> alreadyMapComm;
-    //Map id in Proverif result with id in golden queries
-    final static String LEFT ="left";
-    final static String RIGHT ="right";
+
 
 
 
@@ -64,7 +59,6 @@ public class DiplodocusSecurityTest extends AbstractTest {
         currentModel = model;
         currentTabs = tabs;
         goldenMap = new HashMap<>();
-        alreadyMapComm = new HashMap<>();
     }
 
     @Parameterized.Parameters(name = "{index}: {0}")