let is_empty s =
    U.S.is_empty s.u &&
    La.S.is_empty s.la &&
    S.is_empty s.nl &&
    S.is_empty s.p &&
    S.is_empty s.cop &&
    S.is_empty s.cl &&
    S.is_empty s.arr &&
    S.is_empty s.set &&
    S.is_empty s.bv