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, _)  
    | Pretty_source.PPredicate (Some kf, Kstmt stmt, _)  
      -> Some (kf, stmt)
    | Pretty_source.PTermLval (_, _, _)
    | Pretty_source.PLval (_, _, _) 
    | Pretty_source.PGlobal _ 
    | Pretty_source.PVDecl _ 
    | Pretty_source.PBehavior _ 
    | Pretty_source.PPredicate (_, _, _)
      -> None