let inst_visible (fm,_) stmt =
match stmt.Cil_types.skind with
| Cil_types.Block _ ->
(* block are always visible for syntactic reasons *)
true
| _ ->
let stmt_key = PdgIndex.Key.stmt_key stmt in
key_visible "inst_visible" fm stmt_key