anchor.diff:                | None ->
                   Set.empty
                 | Some buckets ->
  -                //System.Console.WriteLine failedDep
                   buckets
                   |> Set.map(fun deps ->
                       deps
  
positive.code:             |> Option.defaultValue false
          ))
  
  
      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
  
        match conflicts with
        | Some (dep, _) ->
  
negative.code:             do! resolver.PostAndAsyncReply (fun ch -> MarkBadPath (path, (p, cs), error, ch))
              yield Result.Error error
          ()
    }
  
    let solutionCollector resolutions =
  