method pVDecl fmt var =
    match opt_ff with
    | None -> super#pVDecl fmt var
    | Some ff ->
        if var.vglob  then
          Format.fprintf fmt "/**/%a" super#pVDecl var
        else
          let str_m =
            try
              let m = Fct_slice.get_local_var_mark ff var in
                SlicingMarks.mark_to_string m
            with Db.Pdg.NotFound -> "[---]"
          in
          Format.fprintf fmt "/* %s */ %a"
            str_m
            super#pVDecl var