disable warning about repeated thread creation.

Creating threads with the same identifier is allowed on different branches
or if the previous thread already terminated and freed the used identifier.

lint/witnesslint/linter.py

@@ -461,10 +461,11 @@ def handle_edge_data(self, data, key, parent):
         elif key == witness.CREATETHREAD:
             self.witness.thread_creations.add(data.text)
             if data.text in self.witness.threads:
-                logging.warning(
-                    "Thread with id {} has already been created".format(data.text),
-                    data.sourceline,
-                )
+                # logging.warning(
+                #     "Thread with id {} has already been created".format(data.text),
+                #     data.sourceline,
+                # )
+                pass
             else:
                 self.witness.threads[data.text] = None
         elif self.witness.defined_keys.get(key) == witness.EDGE: