fttxfisListxConsttxisListConsxxsisListxsisListnilttf2tt0isList1Cons2nil0FULLenger-nonloop-isList.trs