Also, deleted the output.dot file...

test/parser/output.dot

@@ -1,35 +0,0 @@
-digraph dtmc {
-	1[label="1\n{ phi }"];
-	2[label="2\n{ phi }"];
-	3[label="3\n{ phi }"];
-	4[label="4\n{ smth }"];
-	5[label="5\n{ phi,smth }"];
-	6[label="6\n{ psi }"];
-	7[label="7\n{ phi,psi }"];
-	8[label="8\n{ phi,psi }"];
-	9[label="9\n{ phi }"];
-	10[label="10\n{ phi }"];
-	11[label="11\n{ phi }"];
-	0 -> 0 [label=1]
-	1 -> 3 [label=0.5]
-	1 -> 4 [label=0.5]
-	2 -> 1 [label=0.3]
-	2 -> 7 [label=0.7]
-	3 -> 2 [label=0.05]
-	3 -> 3 [label=0.7]
-	3 -> 6 [label=0.05]
-	3 -> 8 [label=0.2]
-	4 -> 1 [label=0.3]
-	4 -> 5 [label=0.3]
-	4 -> 6 [label=0.4]
-	5 -> 4 [label=1]
-	6 -> 7 [label=1]
-	7 -> 2 [label=0.2]
-	7 -> 6 [label=0.8]
-	8 -> 9 [label=1]
-	9 -> 8 [label=0.3]
-	9 -> 9 [label=0.7]
-	10 -> 4 [label=1]
-	11 -> 5 [label=0.7]
-	11 -> 9 [label=0.3]
-}