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