Hi,
so you plan a single ladder right? I mean: going from state A without REST2 to state B without REST2, passing through a series of intermediate states that are both alchemically perturbed (using lambda) and with modified parameters (using REST2).
I think the acceptance with -hrex would be correct but I am not 100% sure. What I did in the past was to run only -hrex (without lambda), e.g. to remove a single proton from the system (pKa calculations). In this case, you use rerun to compute the difference between the energy in each of the simulated topologies and the reference one, and you feed that to WHAM. If two replicas have both a different lambda AND different force field parameters you have to double check if the acceptance is correct. Once you checked this, I think you can use the same procedure, computing the energy associated to each topologies and its difference wrt to reference replica.
Notice that the WHAM scripts included with plumed might suffer numerical problems in cases where there are very large difference in the energies (that's the case when you do alchemical changes, with DG of the order of hundreds kcal/mol and much smaller DDGs). If you have that problem, I can point you to an alternative WHAM script that we use now in my group and that solves this problem.
Giovanni