Formal Methods For Evolutionary Inference Using Ancient Dna