let emitter_value = Emitter.create "value analysis" ~correctness:Value_parameters.parameters_correctness ~tuning:Value_parameters.parameters_tuning