tct-trs: Prelude.head: empty list
tct-trs: Prelude.head: empty list
tct-trs: Prelude.head: empty list
tct-trs: Prelude.head: empty list
MAYBE
* Step 1: Failure MAYBE
  + Considered Problem:
      - Strict TRS:
          ACTIVATE(z0) -> c20()
          ACTIVATE(n__take(z0,z1)) -> c19(TAKE(z0,z1))
          ACTIVATE(n__zeros()) -> c18(ZEROS())
          LENGTH(cons(z0,z1)) -> c14(U11'(tt(),activate(z1)),ACTIVATE(z1))
          LENGTH(nil()) -> c13()
          TAKE(z0,z1) -> c17()
          TAKE(0(),z0) -> c15()
          TAKE(s(z0),cons(z1,z2)) -> c16(U21'(tt(),activate(z2),z0,z1),ACTIVATE(z2))
          U11'(tt(),z0) -> c2(U12'(tt(),activate(z0)),ACTIVATE(z0))
          U12'(tt(),z0) -> c3(LENGTH(activate(z0)),ACTIVATE(z0))
          U21'(tt(),z0,z1,z2) -> c4(U22'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z0))
          U21'(tt(),z0,z1,z2) -> c5(U22'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z1))
          U21'(tt(),z0,z1,z2) -> c6(U22'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z2))
          U22'(tt(),z0,z1,z2) -> c7(U23'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z0))
          U22'(tt(),z0,z1,z2) -> c8(U23'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z1))
          U22'(tt(),z0,z1,z2) -> c9(U23'(tt(),activate(z0),activate(z1),activate(z2)),ACTIVATE(z2))
          U23'(tt(),z0,z1,z2) -> c10(ACTIVATE(z2))
          U23'(tt(),z0,z1,z2) -> c11(ACTIVATE(z1))
          U23'(tt(),z0,z1,z2) -> c12(ACTIVATE(z0))
          ZEROS() -> c()
          ZEROS() -> c1()
      - Weak TRS:
          U11(tt(),z0) -> U12(tt(),activate(z0))
          U12(tt(),z0) -> s(length(activate(z0)))
          U21(tt(),z0,z1,z2) -> U22(tt(),activate(z0),activate(z1),activate(z2))
          U22(tt(),z0,z1,z2) -> U23(tt(),activate(z0),activate(z1),activate(z2))
          U23(tt(),z0,z1,z2) -> cons(activate(z2),n__take(activate(z1),activate(z0)))
          activate(z0) -> z0
          activate(n__take(z0,z1)) -> take(z0,z1)
          activate(n__zeros()) -> zeros()
          length(cons(z0,z1)) -> U11(tt(),activate(z1))
          length(nil()) -> 0()
          take(z0,z1) -> n__take(z0,z1)
          take(0(),z0) -> nil()
          take(s(z0),cons(z1,z2)) -> U21(tt(),activate(z2),z0,z1)
          zeros() -> cons(0(),n__zeros())
          zeros() -> n__zeros()
      - Signature:
          {ACTIVATE/1,LENGTH/1,TAKE/2,U11/2,U11'/2,U12/2,U12'/2,U21/4,U21'/4,U22/4,U22'/4,U23/4,U23'/4,ZEROS/0
          ,activate/1,length/1,take/2,zeros/0} / {0/0,c/0,c1/0,c10/1,c11/1,c12/1,c13/0,c14/2,c15/0,c16/2,c17/0,c18/1
          ,c19/1,c2/2,c20/0,c3/2,c4/2,c5/2,c6/2,c7/2,c8/2,c9/2,cons/2,n__take/2,n__zeros/0,nil/0,s/1,tt/0}
      - Obligation:
          innermost runtime complexity wrt. defined symbols {ACTIVATE,LENGTH,TAKE,U11,U11',U12,U12',U21,U21',U22,U22'
          ,U23,U23',ZEROS,activate,length,take,zeros} and constructors {0,c,c1,c10,c11,c12,c13,c14,c15,c16,c17,c18,c19
          ,c2,c20,c3,c4,c5,c6,c7,c8,c9,cons,n__take,n__zeros,nil,s,tt}
  + Applied Processor:
      Sum {left = someStrategy, right = someStrategy}
  + Details:
      None
MAYBE