method pLabel fmt l =
    let label_info = match opt_ff with
      | None -> "label"
      | Some ff ->
          let stmt = match self#current_stmt with None -> assert false
            | Some stmt -> stmt
          in
          let m = Fct_slice.get_label_mark ff stmt l in
            SlicingMarks.mark_to_string m
    in Format.fprintf fmt "/* %s */%a"
         label_info
         super#pLabel l