YES
Time: 0.054290
TRS:
 {        f ok X -> ok f X,
        g mark X -> mark g X,
          g ok X -> ok g X,
  active f f a() -> mark f g f a(),
      active g X -> g active X,
      proper f X -> f proper X,
      proper g X -> g proper X,
      proper a() -> ok a(),
      top mark X -> top proper X,
        top ok X -> top active X}
 DP:
  DP:
   {        f# ok X -> f# X,
          g# mark X -> g# X,
            g# ok X -> g# X,
    active# f f a() -> f# g f a(),
    active# f f a() -> g# f a(),
        active# g X -> g# active X,
        active# g X -> active# X,
        proper# f X -> f# proper X,
        proper# f X -> proper# X,
        proper# g X -> g# proper X,
        proper# g X -> proper# X,
        top# mark X -> proper# X,
        top# mark X -> top# proper X,
          top# ok X -> active# X,
          top# ok X -> top# active X}
  TRS:
  {        f ok X -> ok f X,
         g mark X -> mark g X,
           g ok X -> ok g X,
   active f f a() -> mark f g f a(),
       active g X -> g active X,
       proper f X -> f proper X,
       proper g X -> g proper X,
       proper a() -> ok a(),
       top mark X -> top proper X,
         top ok X -> top active X}
  EDG:
   {(top# mark X -> top# proper X, top# ok X -> top# active X)
    (top# mark X -> top# proper X, top# ok X -> active# X)}
   STATUS:
    arrows: 0.991111
    SCCS (0):