let add_behaviors_props config ki spec acc =
let add = match config.cur_bhv, ki with
| FunBhv b, Kglobal when b = Cil.default_behavior_name -> true
| StmtBhv (_, cur_s, b), Kstmt s
when (s.sid = cur_s.sid && b = Cil.default_behavior_name) -> true
| _ -> false
in
if add then
let acc = add_complet_behaviors_props config ki spec acc in
let acc = add_disjoint_behaviors_props config ki spec acc in
acc
else acc