YES
LCTRS
  Theories
    Core, Ints
  Signature
    a: Int
  Rules
    a -> !x [!x = 0]
* No Dependency Pairs.

Elapsed Time:   4.71 ms