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