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