let tag_stmt stmt =
    let is_used =
      try
        let _zones, used =  ZonesState.get () in
          Cilutil.StmtSet.mem stmt used
      with Not_found -> false
    in
      if is_used then zones_used_tag else empty_tag