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