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