let inst_visible fm stmt =
match stmt.Cil_types.skind with
| Cil_types.Block _ ->
(* block are always visible for syntaxic reasons *)
true
| _ ->
let stmt_key = PdgIndex.Key.stmt_key stmt in
let visible = Marks.key_visible fm stmt_key in
Sparecode_params.debug ~level:3
"[sparecode] inst_visible : %a -> %s@\n"
!Db.Pdg.pretty_key stmt_key
(if visible then "true" else "false");
visible