addtruexxsaddandisNatxisListxsxConsxxsisListConsxxsisListxsisListniltrueisNatsxisNatxisNat0trueandtruetruetrueandfalsexfalseandxfalsefalseadd3true0and2isNat1isList1Cons2nil0s100false0FULLenger-nonloop-add.trs