anchor.diff:              |> Seq.map toPackageConstraint
               |> Seq.append (constraints |> Map.toSeq)
               |> constraintsOf
  -            |> testIfHasBadCore
  +            |> findBadCores
               |> Seq.map TransitiveConflict
               |> Set
   
  
positive.code:   }
  
  
    let resolutionManger (sourceExplorer : ISourceExplorer) : MailboxProcessor<ResolutionRequest> = MailboxProcessor.Start(fun inbox -> async {
      let mutable unresolvableCores : Map<Set<PackageConstraint>, SearchStrategyError> = Map.empty
      let mutable underconstraintDeps : Set<PackageConstraint> = Set.empty
      let mutable world : Map<PackageConstraint, Set<Set<PackageConstraint>>> = Map.empty
  
      let testIfHasBadCore (constraints : Constraints) =
        let deps =
          constraints
          |> Map.toSeq
  
negative.code:             | Result.Ok _ -> Some x
              | _ -> None)
  
          let errors =
            candidates
            |> AsyncSeq.choose(fun x ->
              match x with
              | Result.Error e -> Some e
  