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