WORST_CASE(?,O(n^1))

Solution:
---------

  cons :: [a(15) x b(15)] -(15)-> b(15)
  cons :: [a(2) x b(2)] -(2)-> b(2)
  empty :: [] -(0)-> b(15)
  empty :: [] -(0)-> b(14)
  r1 :: [b(15) x b(2)] -(3)-> b(2)
  rev :: [b(15)] -(14)-> b(0)


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

  cons :: [a_cf(0) x b_cf(0)] -(0)-> b_cf(0)
  empty :: [] -(0)-> b_cf(0)
  r1 :: [b_cf(0) x b_cf(0)] -(0)-> b_cf(0)


Base Constructors:
------------------
  cons_b :: [a(1) x b(1)] -(1)-> b(1)
  empty_b :: [] -(0)-> b(1)