let included_zone_in_bases p r r2 = exists (fun (q,r') -> F.p_and (A.equal p q) (range_subset r r') ) r2.bases