h X Z f X s X Z f X Y g X Y h 0 g X Y g 0 Y 0 g X s Y g X Y h 2 f 3 s 1 g 2 0 0 FULL ./TRS/nontermin/Rubio-inn/test10.trs