In SP() modify to use a Frontier set