let filter_precond pid = match WpPropId.property_of_id pid with | Property.IPPredicate( Property.PKRequires _ , _ , Kglobal , _ ) -> true | _ -> false