let delta_array = function | BinOp (IndexPI,{enode = Lval (Var x,off)}, _ ,_) -> Some (x, stars_typ (Cil.typeOfLval (Var x,off))) | e -> debug "[delta_array] calls delta_ptr"; delta_ptr e