fttxfisListxConsttxisListConsttxsisListxsisListnilttf2tt0isList1Cons2nil0FULLenger-nonloop-isTrueList.trs