let filter_groups f path l =
  let pred g =
    match group_verifies_filter f path g with
      None -> true
    | Some b -> b
  in
  List.filter pred l