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