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