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