WORST_CASE(?,O(n^1))

Solution:
---------

  eq :: [B(1) x B(1)] -(4)-> B(0)
  true :: [] -(0)-> B(6)


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




Base Constructors:
------------------
  true_B :: [] -(0)-> B(1)