anchor.diff:              |> Option.defaultValue false
           ))
   
  +    let printCores () =
  +      System.Console.WriteLine "----------"
  +      for cores in unresolvableCores |> Map.keySet do
  +        cores |> Set |> System.Console.WriteLine
  +        System.Console.WriteLine "&&&&&"
  +      System.Console.WriteLine "----------"
   
       let trackLocal locations (p, cs) = asyncSeq {
         let mutable hadCandidate = false
         let c = cs |>  All |> Constraint.simplify
   
  -      let conflicts = testIfHasBadCore (Map.ofSeq [(p, cs)]) |> Seq.tryHead
  +      let conflicts = findBadCores (Map.ofSeq [(p, cs)]) |> Seq.tryHead
   
         match conflicts with
         | Some (dep, _) ->
  
positive.code:           else
              yield Result.Error (Conflicts conflicts)
          ()
  
        ()
      }
  
  
negative.code:   | Unresolvable of PackageConstraint
    | TransitiveConflict of Set<PackageConstraint> * SearchStrategyError
    | Conflicts of Set<SearchStrategyError>
    | NoManifest
  
    type ResolutionRequest =
    | MarkBadPath of List<ResolutionPath> * PackageConstraint * SearchStrategyError * AsyncReplyChannel<Unit>
  