digraph {
	A
	X
	B
	Y
	A -> X
	X -> B
	A -> Y
	Y -> B
}
