f X g h f X f 1 g 1 h 1 FULL ./TRS/nontermin/CSR/ExConc_Zan97.trs