let get_behavior_names ~with_default spec =
let rec get_named_bhv lb = match lb with [] -> []
| b::tlb ->
if Cil.is_default_behavior b
then (* do it later*) get_named_bhv tlb
else (b.b_name)::(get_named_bhv tlb)
in let named_bhv = get_named_bhv spec.spec_behavior in
if with_default then Cil.default_behavior_name::named_bhv else named_bhv