searated intialize into sub functions for use when reviving possibilities. Need to allow solver to stop auto solving when reviving possibilities, the continue after re-culling erroneous revivals.