let set_unreachable pid =
  debug
    "unreachable annotation %a@." WpPropId.pp_id_name pid;
  Property_status.emit 
    wp_unreachable ~hyps:[] (WpPropId.property_of_id pid) Property_status.True