let delta_ptr_term = function
  | TBinOp((PlusPI|MinusPI),{term_node = TLval (TVar lvar,off)},_) 
  | Tat
      ({term_node = 
           TBinOp((PlusPI|MinusPI),{term_node = TLval (TVar lvar,off)},_)
       },_)
  | TLval (TMem 
             {term_node = 
                 Tat
                   ({term_node = 
                        TBinOp((PlusPI|MinusPI),
                               {term_node = TLval (TVar lvar,off)},_)
                    },_)},_)
  | TLval (TMem 
             {term_node = 
                 TBinOp((PlusPI|MinusPI),
               {term_node = Tat({term_node = TLval (TVar lvar,off)},_)},_)},_)
  |  TLval (TMem
              {term_node =
                  TBinOp((PlusPI|MinusPI),
                         {term_node = TLval (TVar lvar,off)},_)},_)
  | TBinOp((PlusPI|MinusPI),
           {term_node = 
               TLval (TMem 
                        {term_node =
                            Tat({term_node = TLval (TVar lvar,off)},_)},_)},_) 
    
    -> Some (lvar, stars_lv_typ (Cil.typeOfTermLval (TVar lvar,off)))
  | _ -> None