let pre_image trs s = TimePre.start (); Debug.unsafe s; let u = Node.litterals s in let ls, post = List.fold_left (fun acc tr -> let trinfo, pre_u, info_args = pre tr u in make_cubes acc info_args s trinfo pre_u) ([], []) trs in TimePre.pause (); List.rev ls, List.rev post