digraph {
kh1 [shape=record,label=<kh<SUB>1</SUB>>];
kh0 [shape=record,label=<kh<SUB>0</SUB>>];
subgraph cluster_0 {
	cs0 [label=<cs<SUB>0</SUB>>,shape=none];
	m [label="T merge F", shape=record];
	cs0 -> m;
	label = kf;
}
subgraph cluster_1 {
	w1,w2 [label=when, shape=record];
	cs1 [label=<cs<SUB>1</SUB>>,shape=none];
	cs2 [label=<cs<SUB>2</SUB>>,shape=none];
	
	cs1 -> w1;
	cs2 -> w2;
	label = kg;
}

w2 -> kh1 [label=<ts<SUB>1</SUB>>];
kh1 -> m [label=<ys<SUB>1</SUB>>];
w1 -> kh0 [label=<ts<SUB>0</SUB>>];
kh0 -> m [label=<ys<SUB>0</SUB>>];
m -> {w1;w2} [label=xs];

}
