reachable (a,b,c)
	  { a->b:{[1]->[2]},
	     b->c:{[2]->[3]},
	     a:{[1]}};