let cur_fct_default_bhv config = match config.cur_bhv with
  | FunBhv bhv -> bhv =  Cil.default_behavior_name
  | _ -> false