let get_kf_stmt_opt localizable =
  match (Pretty_source.kf_of_localizable localizable,
         Pretty_source.ki_of_localizable localizable)
  with
      Some kf, Kstmt st -> Some(kf,st)
    | Some _, Kglobal | None, _ -> None