Lineage of Formicoidea