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, NoneNone