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 ; }