- begin match E.get_entity uri with
- | _, _, Y.Abbr v when st.Y.delta ->
- P.add ~gdelta:1 (); step st m v
- | _, _, Y.Abst w when st.Y.rt ->
- P.add ~grt:1 (); step st m w
- | a, _, Y.Abbr v ->
- let e = Y.apix C.err C.start a in
+ begin match BE.get_entity uri with
+ | _, _, E.Abbr v when st.E.delta ->
+ O.add ~gdelta:1 (); step st m v
+ | _, _, E.Abst w when st.E.rt ->
+ O.add ~grt:1 (); step st m w
+ | a, _, E.Abbr v ->
+ let e = E.apix C.err C.start a in