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)
-> Some (kf, stmt, None)
| Pretty_source.PCodeAnnot (kf, stmt, annot)
-> Some (kf, stmt, Some annot)
| _ -> None