Function Graph-Search-For-Cl-Graph
(
graph-search-for-cl-graph < states > < goal-p > < successors > < combiner > &key < state= > < old-states > < new-state-fn > )
Find a state that satisfies goal-p. Start with states,
and search according to successors and combiner.
Don't try the same state twice.