Depth-first search and judgment loop