if true F Z F if false F Z Z test %X nat s %X true head cons G V G tail cons G V V F nat string Z nat string G nat nat V funlist cons nat nat funlist funlist false bool head funlist nat nat if bool nat string nat string nat string nil funlist s nat nat tail funlist funlist test nat nat bool true bool FULL benchmarks/mine/lmcs12.ex6.12.afs