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