Module Make.Internal_for_tests

val mutate_vi : verifier_inputs -> verifier_inputs option