MAYBE
Time: 0.001576
TRS:
 {         f s X -> f X,
  g cons(s X, Y) -> s X,
  g cons(0(), Y) -> g Y,
    h cons(X, Y) -> h g cons(X, Y)}
 DP:
  DP:
   {         f# s X -> f# X,
    g# cons(0(), Y) -> g# Y,
      h# cons(X, Y) -> g# cons(X, Y),
      h# cons(X, Y) -> h# g cons(X, Y)}
  TRS:
  {         f s X -> f X,
   g cons(s X, Y) -> s X,
   g cons(0(), Y) -> g Y,
     h cons(X, Y) -> h g cons(X, Y)}
  EDG:
   {(f# s X -> f# X, f# s X -> f# X)
    (h# cons(X, Y) -> g# cons(X, Y), g# cons(0(), Y) -> g# Y)
    (g# cons(0(), Y) -> g# Y, g# cons(0(), Y) -> g# Y)}
   STATUS:
    arrows: 0.812500
    SCCS (2):
     Scc:
      {g# cons(0(), Y) -> g# Y}
     Scc:
      {f# s X -> f# X}
     
     
     SCC (1):
      Strict:
       {g# cons(0(), Y) -> g# Y}
      Weak:
      {         f s X -> f X,
       g cons(s X, Y) -> s X,
       g cons(0(), Y) -> g Y,
         h cons(X, Y) -> h g cons(X, Y)}
      Open
     SCC (1):
      Strict:
       {f# s X -> f# X}
      Weak:
      {         f s X -> f X,
       g cons(s X, Y) -> s X,
       g cons(0(), Y) -> g Y,
         h cons(X, Y) -> h g cons(X, Y)}
      Open