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]

The number of normal forms that must be checked: 35
Time: 0.003 [s]

Now checking all the pairs...

Time to check pairs: 0.000 [s]

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

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