YES
(ignored inputs)COMMENT [39] TRS R_5
Input:
   [ f(?x,?x,?x) -> h(?x,?x,?x,?x,g(c)),
     c -> g(c) ]

Make it flat:
   [ !cr_0 -> g(c),
     f(?x,?x,?x) -> h(?x,?x,?x,?x,!cr_0),
     c -> g(c) ]
Time: 0.000 [s]

Make it Complete (R^):
   [ g(!cr_0) = c,
     g(!cr_0) = g(c),
     g(!cr_0) = !cr_0,
     h(?x,?x,?x,?x,c) = h(?x,?x,?x,?x,!cr_0),
     h(?x,?x,?x,?x,c) = f(?x,?x,?x),
     !cr_0 = c,
     !cr_0 = g(c),
     f(?x,?x,?x) = h(?x,?x,?x,?x,!cr_0),
     c = g(c) ]
Time: 0.001 [s]

CPNF:
   [  ]
Time: 0.000 [s]

Now checking all the pairs in CW...

Time to check pairs: 0.000 [s]

The TRS has Uniqueness of Normal Forms.
Total Time: 0.002 [s]

problems/222.trs: Success(UNC)
real 0.02
user 0.01
sys 0.00