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

Elapsed Time:  13.35 ms