fix colors

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

@@ -203,7 +203,7 @@ object Encoding extends LazyLogging {
     def edgeTransformer(innerEdge: WorkflowGraph#EdgeT): Option[(DotGraph, DotEdgeStmt)] = innerEdge.edge match {
       case LDiEdge(source, target, label) => label match {
         case label: SimpleBlock => {
-          val green = edges.contains(innerEdge.edge)
+          val green = edges.exists(_.label == label)
           val color = List(DotAttr("color", if (green) "green" else "red"))
           
           val labelled = if (label.nonEmpty) {