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