anchor.diff:              | x -> state.Constraints.[f.Package].Contains x
             then resolution
             else
  -            log("trying different resolution to workaround: " + f.ToString()|>text, LoggingLevel.Info)
  +            log("Trying different resolution to workaround: " + f.ToString()|>text, LoggingLevel.Info)
               // we backtracked far enough, we can proceed normally...
               // TODO: remember f.Package + f.Constraint always fails
               Resolution.Error (new System.Exception (f.ToString()))
  
positive.code:                 |> recoverOrFail state log
  
              with error ->
                log("Error exploring " + (string packageLock) + "..."|>text, LoggingLevel.Debug)
                log(string error|>text, LoggingLevel.Debug)
                yield Resolution.Error error
    }
  
negative.code:         |> Map.toSeq
          |> Seq.filter (fst >> packages.Contains >> not)
          |> Map.ofSeq
    }
  