anchor.diff:        let proxy = env.connect().GetProxy()
         Directory.CreateDirectory(file_location + "/" + env.name) |> ignore;
         printfn "Exporting solution '%s' from %s" complete_solution_name env.name;
  -      let sol = download_with_retry proxy (file_location + "/" + env.name + "/") complete_solution_name 15 4
  +      let sol = download_with_retry env (file_location + "/" + env.name + "/") complete_solution_name 15 1
         unzip sol;
         (proxy, sol))
       |> function [| dev_sol; prod_sol |] -> (dev_sol, prod_sol) | _ -> failwith "Impossible"
  
positive.code: open System.IO.Compression
  open System.Text.RegularExpressions
  open System.Threading
  
  let rec assoc_right_opt key map = 
    match map with
  
negative.code:     diff dev_proxy temporary_solution_name dev_sol prod_sol Diff;
      // Export [partial solution] from DEV
      printfn "Exporting solution '%s' from %s" temporary_solution_name dev.name;
      let temp_sol = download dev (file_location + "/") temporary_solution_name 15
      // Delete [partial solution] on DEV
      printfn "Deleting solution '%s'" temporary_solution_name;
      dev_proxy.Delete("solution", id);
  