let visit_exp_in_data do_exp acc d =
let do_path acc ch = match ch with
| WpFol.Pfield _ -> acc
| WpFol.Pidx i -> (do_exp acc i)
in match d with
| E0addr _ -> acc
| E0proj (e, ch) -> let acc = do_exp acc e in do_path acc ch
| E0depl (e, ch) -> let acc = do_exp acc e in do_path acc ch
| E0shift (e, i) -> let acc = do_exp acc e in do_exp acc i
| E0mu (e, ch, x) ->
let acc = do_exp acc e in let acc = do_path acc ch in do_exp acc x