Experiment to have a visitor which does not mutate any local state