let get_kind_for_tk kf tkind = match tkind with
  | Normal -> 
      if Cil2cfg.has_exit (Cil2cfg.get kf) then PKAFctOut else PKProp
  | Exits -> PKAFctExit
  | _ -> assert false