let diff s1 s2 =
    {empty with
       u = U.S.diff s1.u s2.u;
       la = La.S.diff s1.la s2.la;
       bv = S.diff s1.bv s2.bv;
       p = S.diff s1.p s2.p;
       cop = S.diff s2.cop s2.cop;
       cl = S.diff s1.cl s2.cl;
       set = S.diff s1.set s2.set;
       nl = S.diff s1.nl s2.nl;
       arr = S.diff s1.arr s2.arr}