let declare arr _axname =
         let eq_name = ArrEqName.get_definition arr in
         Formula.Axiom(eq_array_definition arr eq_name.d_name)