addtruexxsaddandisNatxisListxsxConsxxsisListConsxxsisListxsisListniltrueisNatsxisNatxisNat0trueiftruexyxiffalsexyyandtruetruetrueandfalsexfalseandxfalsefalseadd3true0and2isNat1isList1Cons2nil0s100if3false0FULLTRS//AProVE_10/ex4.trs