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