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