let get_leaves data =
    let is_leaf f = match map_lookup_list f data.children with
        | [] -> true
        | _ -> false in
    let leaves = StringSet.filter is_leaf data.known in
    StringSet.elements leaves