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.