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