digraph {
	A [pos="1.5,0!"]
	X [pos="0,0!"]
	B [pos="3,0!"]
	Y [pos="4.5,0!"]
	X -> A
	B -> A
	B -> Y
}
