let visit_path do_exp acc ch = match ch with
  | Pfield _ -> acc
  | Pidx i -> do_exp acc i