fttxfisListxConsxxisListConsxxsisListxsisListnilttf2tt0isList1Cons2nil0FULLenger-nonloop-isList-List.trs