Make.Internal_for_tests
val mutate_vi : circuit_verifier_input Plonk.Main_protocol_intf.SMap.t -> circuit_verifier_input Plonk.Main_protocol_intf.SMap.t option