let behavior_name_of_config config =
match config.cur_bhv with
| FunBhv None -> None
| FunBhv (Some b) when b.b_name = Cil.default_behavior_name -> None
| FunBhv (Some b) -> Some b.b_name
| StmtBhv (_, s, b) when b.b_name = Cil.default_behavior_name ->
Some ("default_for_stmt_"^(string_of_int s.sid))(*TODO better name ?*)
| StmtBhv (_, s, b) -> Some (b.b_name^"_stmt_"^(string_of_int s.sid))