let included r1 r2 =
    forall 
      (fun f -> f r1 r2) 
      [ included_cvars ; included_roots ; included_bases ]