Module Make.Internal_for_tests

val mutate_vi : verifier_inputs -> verifier_inputs option

mutate_vi vi returns None if vi is empty and Some vi' else. vi' is slightly different from vi