I12: Asuult and Hariult models rewrited