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