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