let included_bases r1 r2 =
    forall
      (fun (p,r) ->
         exists 
           (fun f -> f p r r2)
           [ included_zone_in_bases ;
             included_zone_in_cvars ;
             included_zone_in_roots ]
      ) r1.bases