let dfs_errors data explore init_state init_error =
let rec recurse aklass state errors =
let (state, errors) = explore aklass state errors in
let explore_kids errors child = recurse child state errors in
let children = map_lookup_list aklass data.children in
List.fold_left explore_kids errors children in
recurse "Object" init_state init_error