let union r1 r2 = 
    {
      cvars = Vmerge.union union_range r1.cvars r2.cvars ;
      roots = Imerge.union union_range r1.roots r2.roots ;
      bases = List.append r1.bases r2.bases ;
    }