let get_behavior_annots bname cfg =
let kf = Cil2cfg.cfg_kf cfg in
let spec = get_spec kf in
let bhv = get_behav bname spec.spec_behavior in
match bhv with
| None ->
if bname == Macros.name_of_default_behavior
then Some (get_bhv_annots None cfg)
else None
| _ -> Some (get_bhv_annots bhv cfg)