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