cons x cons y z big inf x cons x inf s x cons 2 big 0 inf 1 s 1 FULL ./TRS/nontermin/cariboo/ex2.trs