YES
Input:
   [ f(?x,?y) -> g(h(a)) ]

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

Make it Complete (R^):
   [ !cr_0 = h(a),
     f(?x,?y) = f(?x_1,?y_1),
     f(?x,?y) = g(!cr_0) ]
Time: 0.000 [s]

CPNF:
   [ !cr_0 … h(a),
     a … a ]
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.001 [s]

experiments/problems/r10.trs: Success(UNC)