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