let dot_lannots cfg lannots =
let do_dot annots =
let pp_annots fmt e =
WpAnnot.pp_annots fmt (annots.WpAnnot.get_annots e)
in
let bhv = annots.WpAnnot.behavior_name in
ignore (Cil2cfg.dot_annots cfg bhv pp_annots)
in List.iter do_dot lannots