MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    a: Unit
    b: Unit
    c: Unit
    d: Unit
    f: (Int, Unit) -> Unit
  Rules
    d -> d
    f(!x, b) -> c [<=(!x, 10)]
    a -> b
    f(!x, a) -> c [<=(!x, 3)]
No termination info given.

Elapsed Time:  38.33 ms