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