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