let isVarTypePointerType =function 
  | Cv x -> Cil.isPointerType x.vtype
  | Lv lv -> Logic_utils.isLogicPointerType lv.lv_type 
  | Prop -> false