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