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