[SatFinder] use new recursive close code.