BEST_CASE(Omega(n^1),?)

Solution:
---------

  "'0" :: [] -(0)-> "b"(0)
  "'add" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'and" :: ["a"(0) x "a"(0)] -(1)-> "a"(0)
  "'div" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'divByZero" :: [] -(0)-> "b"(0)
  "'divsub" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'eq" :: ["b"(0) x "b"(0)] -(1)-> "a"(0)
  "'equal" :: ["b"(0) x "b"(0)] -(1)-> "a"(0)
  "'false" :: [] -(0)-> "a"(0)
  "'mod" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'mult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'natadd" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'natdiv" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'natdiv'" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'natmult" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'natsub" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'neg" :: ["b"(0)] -(0)-> "b"(0)
  "'negative" :: ["b"(0)] -(1)-> "b"(0)
  "'pos" :: ["b"(0)] -(0)-> "b"(0)
  "'positive" :: ["b"(0)] -(1)-> "b"(0)
  "'pred" :: ["b"(0)] -(1)-> "b"(0)
  "'s" :: ["b"(0)] -(0)-> "b"(0)
  "'sub" :: ["b"(0) x "b"(0)] -(1)-> "b"(0)
  "'succ" :: ["b"(0)] -(1)-> "b"(0)
  "'true" :: [] -(0)-> "a"(0)
  "'underflow" :: [] -(0)-> "b"(0)
  "dd" :: ["b"(0) x "b"(1)] -(1)-> "b"(1)
  "dd" :: ["b"(0) x "b"(0)] -(0)-> "b"(0)
  "eratos" :: ["b"(1)] -(1)-> "b"(0)
  "filter" :: ["b"(0) x "b"(1)] -(1)-> "b"(0)
  "filter'" :: ["a"(0) x "b"(0) x "b"(0)] -(1)-> "b"(0)
  "nil" :: [] -(0)-> "b"(1)
  "nil" :: [] -(0)-> "b"(0)


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

  "'0" :: [] -(0)-> "b"_cf(0)
  "'add" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'and" :: ["a"_cf(0) x "a"_cf(0)] -(0)-> "a"_cf(0)
  "'div" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'divByZero" :: [] -(0)-> "b"_cf(0)
  "'divsub" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'eq" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "a"_cf(0)
  "'equal" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "a"_cf(0)
  "'false" :: [] -(0)-> "a"_cf(0)
  "'mod" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'mult" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'natadd" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'natdiv" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'natdiv'" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'natmult" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'natsub" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'neg" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'negative" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'pos" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'positive" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'pred" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'s" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'sub" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "'succ" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "'true" :: [] -(0)-> "a"_cf(0)
  "'underflow" :: [] -(0)-> "b"_cf(0)
  "dd" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "eratos" :: ["b"_cf(0)] -(0)-> "b"_cf(0)
  "filter" :: ["b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "filter'" :: ["a"_cf(0) x "b"_cf(0) x "b"_cf(0)] -(0)-> "b"_cf(0)
  "nil" :: [] -(0)-> "b"_cf(0)


Base Constructors:
------------------