anchor.diff:              let allUnlisted = ref true
               let state = ref conflictStatus
               let trial = ref 0
  +            let forceBreak = ref false
               
               let isOk() = 
                   match !state with
  
positive.code:         verbosefn "  %d packages in resolution. %d requirements left" currentResolution.Count openRequirements.Count
          
          let conflictStatus = Resolution.Conflict(currentResolution,closedRequirements,openRequirements,getVersionsF sources ResolverStrategy.Max groupName)
  
          let alreadyContainsConflict() = 
              let allRequirements = Set.union closedRequirements openRequirements
              knownConflicts
              |> Seq.exists (fun (conflicts,selectedVersion) ->
                  match selectedVersion with 
                  | None -> Set.isSubset conflicts allRequirements
                  | Some(selectedVersion,_) ->
                      let n = (Seq.head conflicts).Name
                      match filteredVersions |> Map.tryFind n with
                      | Some(v,_) -> v = selectedVersion && Set.isSubset conflicts allRequirements
                      | _ -> false)
  
          if alreadyContainsConflict() then conflictStatus else
  
          let currentRequirement =
              let currentMin = ref (Seq.head openRequirements)
              let currentBoost = ref 0
  
negative.code:                     let newResolution = Map.add exploredPackage.Name exploredPackage currentResolution
  
                      state := step (newFilteredVersions,newResolution,Set.add currentRequirement closedRequirements,newOpen)
                      match !state with
                      | Resolution.Conflict (_,_,stillOpen,_)
                          when stillOpen |> Set.exists (fun r -> r = currentRequirement || r.Graph |> List.contains currentRequirement) |> not ->
                          forceBreak := true
                      | _ -> ()
  
                      allUnlisted := exploredPackage.Unlisted && !allUnlisted
  
              !allUnlisted,!state
  