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