Especially in a merged graph, if there is no successful prune and you mark it as visited and other paths can't continue out of it, is it correct?