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