let get_kf_stmt_opt localizable =
match localizable with
| Pretty_source.PTermLval(Some kf, Kstmt stmt, _)
| Pretty_source.PLval (Some kf, Kstmt stmt, _)
| Pretty_source.PStmt (kf,stmt)
| Pretty_source.PCodeAnnot (kf, stmt, _)
-> Some (kf, stmt)
| Pretty_source.PTermLval (_, _, _)
| Pretty_source.PLval (_, _, _)
| Pretty_source.PGlobal _
| Pretty_source.PVDecl _
-> None