†infraorder Estemmenosuchida Ivakhnenko 2003 (therapsid)