digraph G {
	"src:b" [shape=rectangle]
	"src:a" [shape=rectangle]
	binaryB1 [label="binaryB"];
	binaryA -> binaryB1 [style=dotted];
	binaryB2 [label="binaryB"];
	binaryB2 -> "src:b";
	binaryB1 -> "src:b";
	binaryA -> "src:a";
	"src:a" -> binaryB2 [style=dashed];
	"src:b" -> binaryA [style=dashed];
}
