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