let get_annot_opt localizable =
match localizable with
| Pretty_source.PIP ip ->
Property.get_kf ip,
Extlib.may_map ~dft:None (fun x -> Some [x.b_name])
(Property.get_behavior ip),
Some ip
| Pretty_source.PStmt _ | Pretty_source.PLval _ | Pretty_source.PTermLval _
| Pretty_source.PVDecl _ | Pretty_source.PGlobal _
-> Pretty_source.kf_of_localizable localizable, None, None