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