YES
LCTRS
  Theories
    Core, Ints
  Signature
    f2: Int -> Int
    u_15: Int -> Int
    u_18: Int -> Int
  Rules
    f2(?11) -> u_15(f2(+(11, ?11))) [<(?11, 101)]
    f2(?12) -> -(?12, 10) [>=(?12, 101)]
    u_15(?13) -> u_18(f2(?13))
    u_18(?14) -> ?14
Confluent by Weak Orthogonality with proof:
  no critical pairs

Elapsed Time:  62.35 ms