let get_stmt_mark ff stmt =
  try
    let stmt_key = PdgIndex.Key.stmt_key stmt in
    let marks = FctMarks.get_node_marks ff stmt_key in
    let marks = match stmt_key with
      | PdgIndex.Key.Stmt _ -> marks
      | PdgIndex.Key.CallStmt _ -> marks
      | _ -> assert false
    in
    Marks.merge_marks marks
  with PdgIndex.NotFound ->
    match stmt.Cil_types.skind with
    | Cil_types.Block _ | Cil_types.UnspecifiedSequence _ ->
        (* block are always visible for syntactic reasons *)
        Marks.mk_gen_spare
    | _ -> Marks.bottom_mark