α=0 corresponds to the a priori assumption that there
is no discordance among gene tree topologies, i.e. that
all loci must have the same topology.
α=infinity corresponds to the a priori assumption that
gene trees are completely independent, as in a consensus approach.