let declare arr _eqname =
         Formula.Predicate [Array arr;Array arr]