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