let delta_ptr  = function 
  | BinOp ((PlusPI|MinusPI),
           {enode = Lval (Var x,off)},_ , _ )  -> 
      Some (x, stars_typ (Cil.typeOfLval (Var x,off))) 
  | _ -> None