let apply_on_vi f localizable = match localizable with
  | PVDecl(_,vi)
  | PLval(_, _, (Var vi, NoOffset))
  | PTermLval(_, _, (TVar { lv_origin = Some vi }, TNoOffset)) ->
      if not (Cil.isFunctionType vi.vtype) then
        f vi
  | _ -> ()