digraph G {
    rankdir="TB"
	subgraph cluster_7 {
        margin=32
        ordering="in"
        Application11 -> "λ Bool0"[label="Bool -> IrisClass"];
		label = "Variablendefinition Bool0";
		color=red
    {rank="same"; Application11;"λ Bool0";}
	}

	subgraph cluster_8 {
        margin=32
        ordering="in"
        Application16 -> Application17  [label="Float ->\n Float"];
        Application17 -> "2 *"[label="Float ->\n Float ->\n Float"];
		label = "Funktion *";
		color=blue
    {rank="same"; Application16;Application17;"2 *";}
	}

	subgraph cluster_9 {
        margin=32
        ordering="in"
        Application15 -> "2 FloatToBool0"[label="Float ->\n Bool"];
		label = "Funktion FloatToBool0";
		color=green
    {rank="same"; Application15;"2 FloatToBool0";}
	}

	subgraph cluster_10 {
        margin=32
        ordering="in"

        Application12 -> Application13   [label="IrisClass ->\n IrisClass"];
        Application13 -> Application14  [label="IrisClass ->\n IrisClass ->\n IrisClass"];
        Application14 -> "2 if'"[label="Bool ->\n IrisClass ->\n IrisClass ->\n IrisClass"];
		label = "Funktion if'";
		color=blue
    {rank="same"; Application12;Application13;Application14;"2 if'";}
	}

	subgraph cluster_11 {
        margin=32
        ordering="in"
        "Bool0"
		label = "Variable Bool0'";
		color=green
	}
    "λ Bool0"-> Application12   [label="IrisClass"];
    Application14 -> "Bool0"[label="Bool"];
    Application13 -> "Const: Virginica"[label="IrisClass"];
    Application12 -> "Const: Versicolor"[label="IrisClass"];
    Application11 -> Application15  [label="Bool"];
    Application15 -> Application16  [label="Float"];
    Application17 -> "Const: 2.4138098"[label="Float"];
    Application16 -> "Const: 8.027873"[label="Float"];

    Application11 [label = Application];
    Application12 [label = Application];
    Application13 [label = Application];
    Application14 [label = Application];
    Application15 [label = Application];
    Application16 [label = Application];
    Application17 [label = Application];
    "2 *"[label = "*"];
    "2 FloatToBool0"[label = "FloatToBool0"];
    "2 if'"[label = "if'"];
}