counterfactual-reference-swap-verifier