Constructing Minimal Ancestral Recombination Graphs | Synapse