Function Tree-Search

Part of:

package metabang.utilities
( tree-search < states > < goal-p > < successors > < combiner > )

Find a state that satisfies goal-p. Start with states,
and search according to successors and combiner.