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