fixed joint topology/ancestral state estimation