Added IDAStarFinder to the list of finders