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