Random walks generated by equilibrium contact processes

We consider dynamic random walks where the nearest neighbour jump rates are determined by an underlying supercritical contact process in equilibrium. This has previously been studied by den Hollander and dos Santos (arXiv: 1209.1511). We show the CLT for such a random walk, valid for all supercritical infection rates for the contact process environment.