foldl %Y nat %X nat F %Y %X Y nil Y foldl %U nat %Z nat G %U %Z V cons W P foldl %W nat %V nat G %W %V G V W P plusc X1 0 X1 plusc Y1 s U1 s plusc Y1 U1 sum V1 foldl %G nat %F nat plusc %G %F 0 V1 F nat nat nat Y nat G nat nat nat V nat W nat P list X1 nat Y1 nat U1 nat V1 list 0 nat cons nat list list foldl nat nat nat nat list nat nil list plusc nat nat nat s nat nat sum list nat FULL /tmp/tmpfile.afsm