-let rec process_0 f st = function
- | [] -> f st
- | entity :: tl ->
- let f st = process_0 f st tl in
- let frr st mst = {st with mst = mst} in
- let h st mst e =
- process_1 C.start {st with mst = mst} (MetaEntity e)
- in
- let f st entity =
- if !stage = 0 then f st else
-(* let err st dst = f {st with dst = dst} in
- let g st dst e = process_1 f {st with dst = dst} (DrgEntity e) in
- if !old then *) f (MA.meta_of_aut (frr st) (h st) st.mst entity) (* else
- DA.drg_of_aut (err st) (g st) st.dst entity *)
- in
- let st = {st with ac = count AO.count_entity st.ac entity} in
- if !process then process_entity f st entity else f st entity
+let process_0 st entity =
+ let f st entity =
+ if !stage = 0 then st else
+ let frr mst = {st with mst = mst} in
+ let h mst e = process_1 {st with mst = mst} (MetaEntity e) in
+ let err dst = {st with dst = dst} in
+ let g dst e = process_1 {st with dst = dst} (CrgEntity e) in
+ if !old then MA.meta_of_aut frr h st.mst entity else
+ DA.crg_of_aut err g st.dst entity
+ in
+ let st =
+ if !L.level > 2 then {st with ac = AO.count_entity C.start st.ac entity}
+ else st
+ in
+ if !preprocess then process_entity f st entity else f st entity
+
+let rec process st = function
+ | [] -> st
+ | entity :: tl -> process (process_0 st entity) tl