Removed doubles from the PCP instance at initialisation. Renamed dominos -> dominoes.