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: 
      // Group B.
  
      (* 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 englandSquad = { Team = england
                           Players = [ (* TODO *) ] }
  
      let akinfeevIgor = { Name = "Igor Akinfeev"; Team = russia; Type = Goalkeeper; Status = OriginalSquad }
      let lodyginYuri = { Name = "Yuri Lodygin"; Team = russia; Type = Goalkeeper; Status = OriginalSquad }
  
negative.code:     let ukraineSquad = { Team = ukraine
                           Players = [ (* TODO *) ] }
  
      let szczesnyWojciech = { Name = "Wojciech Szczęsny"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
      let borucArtur = { Name = "Artur Boruc"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
      let fabianskiLukasz = { Name = "Łukasz Fabiański"; Team = poland; Type = Goalkeeper; Status = OriginalSquad }
      let pazdanMichal = { Name = "Michał Pazdan"; Team = poland; Type = Defender; Status = OriginalSquad }
      let jedrzejczykArtur = { Name = "Artur Jędrzejczyk"; Team = poland; Type = Defender; Status = OriginalSquad }
      let cionekThiago = { Name = "Thiago Cionek"; Team = poland; Type = Defender; Status = OriginalSquad }
      let wawrzyniakJakub = { Name = "Jakub Wawrzyniak"; Team = poland; Type = Defender; Status = OriginalSquad }
      let glikKamil = { Name = "Kamil Glik"; Team = poland; Type = Defender; Status = OriginalSquad }
      let salamonBartosz = { Name = "Bartosz Salamon"; Team = poland; Type = Defender; Status = OriginalSquad }
      let piszczekLukasz = { Name = "Łukasz Piszczek"; Team = poland; Type = Defender; Status = OriginalSquad }
      let maczynskiKrzysztof = { Name = "Krzysztof Mączyński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let jodlowiecTomasz = { Name = "Tomasz Jodłowiec"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let linettyKarol = { Name = "Karol Linetty"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let krychowiakGrzegorz = { Name = "Grzegorz Krychowiak"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let grosickiKamil = { Name = "Kamil Grosicki"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let blaszczykowskiJakub = { Name = "Jakub Błaszczykowski"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let peszkoSlawomir = { Name = "Sławomir Peszko"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let zielinskiPiotr = { Name = "Piotr Zieliński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let kapustkaBartosz = { Name = "Bartosz Kapustka"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let starzynskiFilip = { Name = "Filip Starzyński"; Team = poland; Type = Midfielder; Status = OriginalSquad }
      let milikArkadiusz = { Name = "Arkadiusz Milik"; Team = poland; Type = Forward; Status = OriginalSquad }
      let lewandowskiRobert = { Name = "Robert Lewandowski"; Team = poland; Type = Forward; Status = OriginalSquad }
      let stepinskiMariusz = { Name = "Mariusz Stępiński"; Team = poland; Type = Forward; Status = OriginalSquad }
  
      let polandSquad = { Team = poland
                          Players = [ szczesnyWojciech; borucArtur; fabianskiLukasz; pazdanMichal; jedrzejczykArtur; cionekThiago; wawrzyniakJakub; glikKamil; salamonBartosz; piszczekLukasz
                                      maczynskiKrzysztof; jodlowiecTomasz; linettyKarol; krychowiakGrzegorz; grosickiKamil; blaszczykowskiJakub; peszkoSlawomir; zielinskiPiotr; kapustkaBartosz
                                      starzynskiFilip; milikArkadiusz; lewandowskiRobert; stepinskiMariusz ] }
  
      let carrollRoy = { Name = "Roy Carroll"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
      let mcGovernMichael = { Name = "Michael McGovern"; Team = northernIreland; Type = Goalkeeper; Status = OriginalSquad }
  