let separated r1 r2 =
    forall
      (fun f -> f r1 r2)
      [ separated_cvars ; separated_roots ; separated_bases ;
        separated_others_bases ; separated_bases_others ]