MAYBE
Time: 0.030895
TRS:
 {app(app(rec(), h), app(g, app(s(), x))) -> app(app(h, x), app(app(rec(), h), app(g, x))),
          app(app(rec(), h), app(g, 0())) -> g}
 DP:
  DP:
   {app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x),
    app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x),
    app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))),
    app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x))}
  TRS:
  {app(app(rec(), h), app(g, app(s(), x))) -> app(app(h, x), app(app(rec(), h), app(g, x))),
           app(app(rec(), h), app(g, 0())) -> g}
  UR:
   {app(app(rec(), h), app(g, app(s(), x))) -> app(app(h, x), app(app(rec(), h), app(g, x))),
            app(app(rec(), h), app(g, 0())) -> g,
                                    a(y, z) -> y,
                                    a(y, z) -> z}
   EDG:
    {(app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
     (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))}
    EDG:
     {(app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
      (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))}
     EDG:
      {(app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
       (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))}
      EDG:
       {(app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))))
        (app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))), app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x)))}
       STATUS:
        arrows: 0.000000
        SCCS (1):
         Scc:
          {app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x),
           app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x),
           app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))),
           app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x))}
         
         SCC (4):
          Strict:
           {app#(app(rec(), h), app(g, app(s(), x))) -> app#(g, x),
            app#(app(rec(), h), app(g, app(s(), x))) -> app#(h, x),
            app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(h, x), app(app(rec(), h), app(g, x))),
            app#(app(rec(), h), app(g, app(s(), x))) -> app#(app(rec(), h), app(g, x))}
          Weak:
          {app(app(rec(), h), app(g, app(s(), x))) -> app(app(h, x), app(app(rec(), h), app(g, x))),
                   app(app(rec(), h), app(g, 0())) -> g}
          Fail