let get_behav config ki bh_list = match config.cur_bhv, ki with
  | FunBhv b, Kglobal -> get_named_bhv b bh_list
  | StmtBhv (_, s1, b), Kstmt s2 when s1.sid = s2.sid ->
      get_named_bhv b bh_list
  | _ -> None