+
+let visit_status
+ before_r each_r before after after_r stage
+ before_t each_t after_t before_w each_w after_w =
+ let visit_tw _ _ = () in
+ let visit_r p r =
+ before r.ET.rx (r.ET.ro=[]) (r.ET.rn=[]);
+ if r.ET.rx then begin
+ EU.list_visit before_t each_t visit_tw after_t EU.oobj_selected EU.string_of_oobj (1::p) r.ET.ro;
+ EU.list_visit before_w each_w visit_tw after_w EU.nobj_selected EU.string_of_nobj (2::p) r.ET.rn
+ end;
+ after r.ET.rx
+ in
+ EU.list_visit before_r each_r visit_r after_r EU.robj_selected EU.string_of_robj [0] st.ET.sr;
+ stage (EU.string_of_stage st.ET.ss) st.ET.sm;
+ EU.list_visit before_t each_t visit_tw after_t EU.oobj_selected EU.string_of_oobj [1] st.ET.so;
+ EU.list_visit before_w each_w visit_tw after_w EU.nobj_selected EU.string_of_nobj [2] st.ET.sn