let declare tcomp _eqname =
         Formula.Predicate [Record tcomp;Record tcomp]