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
| _ -> ()