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 "[WP:unreachable] Goal %a : Valid" pp_id pid;
  WPUnreachable.set_checked ip [] True