let emit_status =
  let emitter = 
    Emitter.create "RTE" 
      ~correctness:[ DoUnsignedOverflow.parameter ;
                     DoAll.parameter ;
                     DoSignedOverflow.parameter ;
                     DoDownCast.parameter ;
                     DoDivMod.parameter ;
                     DoMemAccess.parameter ;
                     DoCalledPrecond.parameter ;
                     FunctionSelection.parameter
                   ]
      ~tuning:[ Enabled.parameter ;
                Print.parameter ;
                ConstFold.parameter ;
                Warn.parameter
              ]
  in
  fun ppt s -> Extlib.may (Property_status.emit emitter ~hyps:[] ppt) s