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