let filter_status id =
  Wp_parameters.StatusAll.get () ||
    match Property_status.get (WpPropId.property_of_id id) with
      | Property_status.Best(Property_status.True, _) -> 
          Wp_parameters.StatusTrue.get ()
      | Property_status.Best(Property_status.Dont_know, _) -> 
          Wp_parameters.StatusMaybe.get ()
      | Property_status.Best((Property_status.False_if_reachable
                             | Property_status.False_and_reachable), _) -> 
          Wp_parameters.StatusFalse.get ()
      | Property_status.Never_tried -> true
      | Property_status.Inconsistent _ -> false