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