Returns true if start-vertex is in some cycle in graph. This uses child-vertexes to generate the vertexes adjacent to a vertex.
start-vertex
graph