let get_annot_opt localizable =
  match localizable with
    | Pretty_source.PCodeAnnot (_kf, _stmt, annot)  -> Some annot
    | _ -> None