Corrector now uses the new variation proposer information to compute error probability.