fix bug in nand; add test2.mc