cut off too long invariants

src/main/scala/de/tum/workflows/Encoding.scala

@@ -221,8 +221,11 @@ object Encoding extends LazyLogging {
         }
       }
     }
-    def nodeTransformer(innerNode: WorkflowGraph#NodeT): Option[(DotGraph, DotNodeStmt)] =
-      Some((root, DotNodeStmt(innerNode.toString, List(DotAttr("label", "Node " + innerNode + ":\n" + labels(innerNode))))))
+    def nodeTransformer(innerNode: WorkflowGraph#NodeT): Option[(DotGraph, DotNodeStmt)] = {
+      val str = labels(innerNode)
+      val label = if (str.length() > 1000) str.substring(0, 600) + "..." else str
+      Some((root, DotNodeStmt(innerNode.toString, List(DotAttr("label", "Node " + innerNode + ":\n" + label)))))
+    }
 
     g.toDot(root, edgeTransformer, None, Some(nodeTransformer))
   }