YES
LCTRS
  Theories
    Core, Ints
  Signature
    build: Int -> Int
    cmod: (Int, Int) -> Int
    if_mod: (Int, Int) -> Int
    minus: (Int, Int) -> Int
    pred: Int -> Int
  Rules
    build(?54) -> pred(build(-(?54, 1))) [>(?54, 0)]
    build(?55) -> 0 [?55 = 0]
    cmod(?56, ?57) -> if_mod(?56, ?57) [and(>(?56, 0), >(?57, 0))]
    cmod(?58, ?59) -> 0 [or(?58 = 0, and(?59 = 0, >(?58, 0)))]
    if_mod(?60, ?61) -> ?60 [and(not(<=(-(?61, 1), -(?60, 1))), and(>(?60, 1), >(?61, 1)))]
    if_mod(?62, ?63) -> cmod(minus(-(?62, 1), -(?63, 1)), ?63) [and(<=(-(?63, 1), -(?62, 1)), and(>(?62, 1), >(?63, 1)))]
    minus(?64, ?65) -> build(-(?65, ?64)) [and(>=(?64, 0), >(?65, ?64))]
    minus(?66, ?67) -> -(?66, ?67) [and(>=(?67, 0), >=(?66, ?67))]
Confluent by Orthogonality with proof:
  no critical pairs

Elapsed Time:  75.57 ms