add tests/pos/IcfpDemo.hs