let map (files, deps) (t, d) =
if t = theory_file then files, deps else
S.add t files, List.fold_left (fun deps dep -> S.add dep deps) deps d
let map (files, deps) (t, d) =
if t = theory_file then files, deps else
S.add t files, List.fold_left (fun deps dep -> S.add dep deps) deps d