consxconsyzbiginfxconsxinfsxcons2big0inf1s1FULL./TRS/nontermin/cariboo/ex2.trs