let is_concerned_by_security _s =
    (* Julien: en fait, c'est peut-être plus difficile à coder que ce que je
       pensais dans la mesure où certains stmt ne sont pas dans l'ensemble
       [Stmts], par exemple les blocks (à vérifier cependant. *)

(*    compute ();
    let res =
      try
        Nodes.iter
          (fun (n, _) ->
             match PdgTypes.Node.stmt n with
             | None -> ()
             | Some s' -> if s.sid = s'.sid then raise Found);
        false
      with Found ->
        true
    in
(*    let res = Stmts.mem s in*)
(*        Format.printf "%a: %b@." Cil.d_stmt s res;*)
        res || match s.skind with  Block _ -> true | _ -> false*)

    true