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
| E1addr _ -> acc
| E1indir e -> do_exp acc e
| E1proj (e, ch) -> let acc = do_exp acc e in do_path acc ch
| E1depl (e, ch) -> let acc = do_exp acc e in do_path acc ch
| E1shift (e, i) -> let acc = do_exp acc e in do_exp acc i
| E1mu (e, ch, x) ->
let acc = do_exp acc e in let acc = do_path acc ch in do_exp acc x
| E1muI (e, x) -> let acc = do_exp acc e in do_exp acc x