WORST_CASE(?,O(n^1))

Solution:
---------

  "E" :: [] -(0)-> "u"(1)
  "E" :: [] -(0)-> "u"(0)
  "O" :: ["u"(1)] -(1)-> "u"(1)
  "O" :: ["u"(0)] -(0)-> "u"(0)
  "Z" :: ["u"(1)] -(1)-> "u"(1)
  "Z" :: ["u"(0)] -(0)-> "u"(0)
  "flip#1" :: ["u"(1)] -(1)-> "u"(0)
  "main" :: ["u"(1)] -(2)-> "u"(0)


Cost Free Signatures:
---------------------



Used heuristics (no base constructurs)
--------------------------------------


Parsed Typed Term Rewrite System:
---------------------------------

(STRATEGY
 INNERMOST)
(VAR
 "v4")
(DATATYPES
   "u" = µX.< "E", "Z"(X), "O"(X) >)
(SIGNATURES
   "flip#1" :: ["u"] --> "u"
   "main" :: ["u"] --> "u")
(RULES
 "flip#1"("E"()) -> "E"()
 "flip#1"("Z"("v4")) -> "O"("flip#1"("v4"))
 "flip#1"("O"("v4")) -> "Z"("flip#1"("v4"))
 "main"("v4") -> "flip#1"("v4"))


WORST_CASE(?,O(n^1))