- | B.Sort _ -> m, None, x
- | B.GRef (_, uri) ->
- 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
+ | B.Sort _ -> m, None, x
+ | B.GRef (_, uri) ->
+ begin match BE.get_entity uri with
+ | _, _, E.Abbr v when st.S.delta ->
+ O.add ~gdelta:1 (); step st m v
+ | _, _, E.Abst (_, w) when st.S.rt ->
+ O.add ~grt:1 (); step st m w
+ | a, _, E.Abbr v ->
+ let e = E.apix C.err C.start a in