anchor.diff:                              UnlistedSearch = true
                           }
                       else
  -                        flags
  +                        { flags with 
  +                            Ready = true 
  +                            UnlistedSearch = true 
  +                        }
                   step (Outer((currentConflict,currentStep,currentRequirement), priorConflictSteps)) stackpack compatibleVersions  flags 
               else
                   let flags = { flags with FirstTrial = false }
  
positive.code:                                 GetPackageVersions = getVersionsF }}
  
                  if not (Seq.isEmpty conflicts) then
                      fuseConflicts currentRequirement currentStep.FilteredVersions currentConflict priorConflictSteps conflicts
                  else
                      let getCurrentVersionBlock = fun strategy args -> getVersionsBlock strategy args currentStep
                      let compatibleVersions,globalOverride,tryRelaxed =
  
negative.code:                 conflictState.AddError(raise(TimeoutException(message)))
              else conflictState
      
          let fuseConflicts currentRequirement filteredVersions currentConflict priorConflictSteps =
              let currentConflict,stackpack = boostConflicts filteredVersions currentRequirement stackpack currentConflict
  
              match priorConflictSteps with
              | head :: priorConflictSteps ->
                  let (lastConflict, lastStep, lastRequirement, lastCompatibleVersions, lastFlags) = head
                  let continueConflict = 
                      { currentConflict with VersionsToExplore = lastConflict.VersionsToExplore }        
                  step (Inner((continueConflict,lastStep,lastRequirement), priorConflictSteps)) stackpack lastCompatibleVersions lastFlags
              | [] ->
                  currentConflict
                          
          match stage with            
          | Step((conflictState,currentStep,_currentRequirement), priorConflictSteps)  ->
  