let set_unreachable pid =
  Wp_parameters.debug ~level:2
    "[strategy] unreachable annotation %a@." pp_id pid;
  let ip = property_of_id pid in
    Wp_parameters.feedback "[unreachable] Goal %a : %s" pp_id pid valid_txt;
  WPUnreachable.set_checked ip [] True