MAYBE
Time: 0.009056
TRS:
 {  top free x -> top check new x,
   check new x -> new check x,
  check free x -> free check x,
   check old x -> old x,
   check old x -> old check x,
    new free x -> free new x,
   new serve() -> free serve(),
    old free x -> free old x,
   old serve() -> free serve()}
 DP:
  DP:
   {  top# free x -> top# check new x,
      top# free x -> check# new x,
      top# free x -> new# x,
     check# new x -> check# x,
     check# new x -> new# check x,
    check# free x -> check# x,
     check# old x -> check# x,
     check# old x -> old# check x,
      new# free x -> new# x,
      old# free x -> old# x}
  TRS:
  {  top free x -> top check new x,
    check new x -> new check x,
   check free x -> free check x,
    check old x -> old x,
    check old x -> old check x,
     new free x -> free new x,
    new serve() -> free serve(),
     old free x -> free old x,
    old serve() -> free serve()}
  EDG:
   {(check# new x -> new# check x, new# free x -> new# x)
    (top# free x -> top# check new x, top# free x -> new# x)
    (top# free x -> top# check new x, top# free x -> check# new x)
    (top# free x -> top# check new x, top# free x -> top# check new x)
    (check# new x -> check# x, check# old x -> old# check x)
    (check# new x -> check# x, check# old x -> check# x)
    (check# new x -> check# x, check# free x -> check# x)
    (check# new x -> check# x, check# new x -> new# check x)
    (check# new x -> check# x, check# new x -> check# x)
    (check# old x -> check# x, check# old x -> old# check x)
    (check# old x -> check# x, check# old x -> check# x)
    (check# old x -> check# x, check# free x -> check# x)
    (check# old x -> check# x, check# new x -> new# check x)
    (check# old x -> check# x, check# new x -> check# x)
    (old# free x -> old# x, old# free x -> old# x)
    (new# free x -> new# x, new# free x -> new# x)
    (check# free x -> check# x, check# new x -> check# x)
    (check# free x -> check# x, check# new x -> new# check x)
    (check# free x -> check# x, check# free x -> check# x)
    (check# free x -> check# x, check# old x -> check# x)
    (check# free x -> check# x, check# old x -> old# check x)
    (top# free x -> new# x, new# free x -> new# x)
    (check# old x -> old# check x, old# free x -> old# x)
    (top# free x -> check# new x, check# new x -> check# x)
    (top# free x -> check# new x, check# new x -> new# check x)
    (top# free x -> check# new x, check# free x -> check# x)
    (top# free x -> check# new x, check# old x -> check# x)
    (top# free x -> check# new x, check# old x -> old# check x)}
   EDG:
    {(check# new x -> new# check x, new# free x -> new# x)
     (top# free x -> top# check new x, top# free x -> new# x)
     (top# free x -> top# check new x, top# free x -> check# new x)
     (top# free x -> top# check new x, top# free x -> top# check new x)
     (check# old x -> old# check x, old# free x -> old# x)
     (top# free x -> check# new x, check# new x -> check# x)
     (top# free x -> check# new x, check# new x -> new# check x)
     (top# free x -> check# new x, check# free x -> check# x)
     (top# free x -> check# new x, check# old x -> check# x)
     (top# free x -> check# new x, check# old x -> old# check x)}
    EDG:
     {(check# new x -> new# check x, new# free x -> new# x)
      (top# free x -> top# check new x, top# free x -> new# x)
      (top# free x -> top# check new x, top# free x -> check# new x)
      (top# free x -> top# check new x, top# free x -> top# check new x)
      (check# old x -> old# check x, old# free x -> old# x)
      (top# free x -> check# new x, check# new x -> check# x)
      (top# free x -> check# new x, check# new x -> new# check x)
      (top# free x -> check# new x, check# free x -> check# x)}
     STATUS:
      arrows: 0.920000
      SCCS (1):
       Scc:
        {top# free x -> top# check new x}
       
       
       SCC (1):
        Strict:
         {top# free x -> top# check new x}
        Weak:
        {  top free x -> top check new x,
          check new x -> new check x,
         check free x -> free check x,
          check old x -> old x,
          check old x -> old check x,
           new free x -> free new x,
          new serve() -> free serve(),
           old free x -> free old x,
          old serve() -> free serve()}
        Open