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