ineq: sum of identical inequalities is not inequality

Is it possible to correct the ineq package in such a way that it will not fail 
for identical inequalities? When I obtain a list of inequalities as an output 
of a program, among them may occur identical, (C4),(D4), below. Then I need to 
construct sum of any subset of those inequalities. But sum of two identical 
inequalities is not an inequality, (C8)-(D10),(D13), below. This problem
occurs for both old and new ineq packages. Appreciate any suggestions.

(C4) Lims:LINEQ(L);
(D4)           [t2 < t, t1 < t, t1 < t2, t1 < t, 2 < t, 2 < t1]
(C5) Lims[1]+Lims[2];
(D5)                             t2 + t1 < 2 t
(C6) assume(Lims[1]+Lims[2])$ facts();
(C7) 
(D7)                         [- t2 - t1 + 2 t > 0]
(C8) assume(Lims[2]+Lims[4])$ facts();
(C9) 
(D9)                     [- t2 - t1 + 2 t > 0, FALSE]
(C10) Lims[2]+Lims[4];          
(D10)                             2 (t1 < t)
(C11) assume(t1<t)$
(C12) is(Lims[1]+Lims[2]);
(D12)                                TRUE
(C13) is(Lims[2]+Lims[4]);

*** - argument to LOGAND should be an integer: (4194304)
The following restarts are available:
R1 = Macsyma top-level

1. Break [1]>