fttxfisListxxisListConsxxsisListxsisListnilttf2tt0isList1Cons2xs0nil0FULLTRS//AProVE_10/isList.trs