let
emit_status ppt s =
Property_status
.emit ~distinct:
true
emitter_value ~hyps:[] ppt s