let is_zone = function | Tapp(s,_) -> List.mem s [ "zunion" ; "zempty" ; "zrange" ; "zrange_of_addr" ; "zrange_of_addr_range" ; "zs_empty" ; "zs_singleton" ; "zs_union" ; ] | _ -> false