anchor.diff:  
       // Group C.
   
  -    (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Midfielder; Status = OriginalSquad }
  -    let a = { Name = ""; Team = b; Type = Forward; Status = OriginalSquad } *)
  +    let neuerManuel = { Name = "Manuel Neuer"; Team = germany; Type = Goalkeeper; Status = OriginalSquad }
  +    let terStegenMarcAndre = { Name = "Marc-André ter Stegen"; Team = germany; Type = Goalkeeper; Status = OriginalSquad }
  +    let lenoBernd = { Name = "Bernd Leno"; Team = germany; Type = Goalkeeper; Status = OriginalSquad }
  +    let boatengJerome = { Name = "Jérôme Boateng"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let hummelsMatt = { Name = "Mats Hummels"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let howedesBenedikt = { Name = "Benedikt Höwedes"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let hectorJonas = { Name = "Jonas Hector"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let mustafiShkodran = { Name = "Shkodran Mustafi"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let rudigerAntonio = { Name = "Antonio Rüdiger"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let canEmre = { Name = "Emre Can"; Team = germany; Type = Defender; Status = OriginalSquad }
  +    let schweinsteigerBastian = { Name = "Bastian Schweinsteiger"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let ozilMesut = { Name = "Mesut Özil"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let kroosToni = { Name = "Toni Kroos"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let khediraSami = { Name = "Sami Khedira"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let gotzeMario = { Name = "Mario Götze"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let schurrleAndre = { Name = "André Schürrle"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let draxlerJulian = { Name = "Julian Draxler"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let saneLeroy = { Name = "Leroy Sané"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let weiglJulian = { Name = "Julian Weigl"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let kimmichJoshua = { Name = "Joshua Kimmich"; Team = germany; Type = Midfielder; Status = OriginalSquad }
  +    let podolskiLukas = { Name = "Lukas Podolski"; Team = germany; Type = Forward; Status = OriginalSquad }
  +    let mullerThomas = { Name = "Thomas Müller"; Team = germany; Type = Forward; Status = OriginalSquad }
  +    let gomezMario = { Name = "Mario Gómez"; Team = germany; Type = Forward; Status = OriginalSquad }
   
       let germanySquad = { Team = germany
  -                         Players = [ (* TODO *) ] }
  +                         Players = [ neuerManuel; terStegenMarcAndre; lenoBernd; boatengJerome; hummelsMatt; howedesBenedikt; hectorJonas; mustafiShkodran; rudigerAntonio; canEmre
  +                                     schweinsteigerBastian; ozilMesut; kroosToni; khediraSami; gotzeMario; schurrleAndre; draxlerJulian; saneLeroy; weiglJulian; kimmichJoshua; podolskiLukas
  +                                     mullerThomas; gomezMario ] }
   
       (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
       let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  
positive.code:     let ukraineSquad = { Team = ukraine
                           Players = [ (* TODO *) ] }
  
      (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Midfielder; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Forward; Status = OriginalSquad } *)
  
      let polandSquad = { Team = poland
                          Players = [ (* TODO *) ] }
  
      let carrollRoy = { Name = "Roy Carroll"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
      let mcGovernMichael = { Name = "Michael McGovern"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
  
negative.code:                                     cabayeYohan; matuidiBlaise; sissokoMoussa; diarraLassana; pogbaPaul; payetDimitri; kanteNGolo; giroudOlivier; griezmannAntoine; gignacAndrePierre; martialAnthony
                                      comanKingsley ] }
  
      let sommerYann = { Name = "Yann Sommer"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let hitzMarwin = { Name = "Marwin Hitz"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let burkiRoman = { Name = "Roman Bürki"; Team = switzerland; Type = Goalkeeper; Status = OriginalSquad }
      let lichtsteinerStephan = { Name = "Stephan Lichtsteiner"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let moubandjeFrancois = { Name = "François Moubandje"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let elvediNico = { Name = "Nico Elvedi"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let vonBergenSteve = { Name = "Steve von Bergen"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let langMichael = { Name = "Michael Lang"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let rodriguezRicardo = { Name = "Ricardo Rodríguez"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let djourouJohan = { Name = "Johan Djourou"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let scharFabian = { Name = "Fabian Schär"; Team = switzerland; Type = Defender; Status = OriginalSquad }
      let freiFabian = { Name = "Fabian Frei"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let xhakaGranit = { Name = "Granit Xhaka"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let behramiValon = { Name = "Valon Behrami"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let zakariaDenis = { Name = "Denis Zakaria"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let dzemailiBlerim = { Name = "Blerim Džemaili"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let fernandesGelson = { Name = "Gélson Fernandes"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let tarashajShani = { Name = "Shani Tarashaj"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let shaqiriXherdan = { Name = "Xherdan Shaqiri"; Team = switzerland; Type = Midfielder; Status = OriginalSquad }
      let emboloBreel = { Name = "Breel Embolo"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let seferovicHaris = { Name = "Haris Seferović"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let mehmediAdmir = { Name = "Admir Mehmedi"; Team = switzerland; Type = Forward; Status = OriginalSquad }
      let derdiyokEren = { Name = "Eren Derdiyok"; Team = switzerland; Type = Forward; Status = OriginalSquad }
  
      let switzerlandSquad = { Team = switzerland
                               Players = [ sommerYann; hitzMarwin; burkiRoman; lichtsteinerStephan; moubandjeFrancois; elvediNico; vonBergenSteve; langMichael; rodriguezRicardo; djourouJohan
                                           scharFabian; freiFabian; xhakaGranit; behramiValon; zakariaDenis; dzemailiBlerim; fernandesGelson; tarashajShani; shaqiriXherdan; emboloBreel; seferovicHaris
                                           mehmediAdmir; derdiyokEren ] }
  
      (* let a = { Name = ""; Team = b; Type = Goalkeeper; Status = OriginalSquad }
      let a = { Name = ""; Team = b; Type = Defender; Status = OriginalSquad }
  