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))