let get_annot_opt localizable = match localizable with | Pretty_source.PIP(Property.IPCodeAnnot(_,_,annot)) -> Some annot | _ -> None